연구 분야 설명

- 프로그램 자동 분석/검증 기술을 기반으로, 안전(해킹 방지)하고 강건(비정상적 동작 및 종료 방지)한 소프트웨어를 개발
- 자율주행, 드론, IoT, 의료, 항공우주 및 차량/철도/전력/산업 등에 필수 분야인 미래 컴퓨터 시스템, 임베디드 시스템, 센서 네트워크 등의 안전성을 향상시키기 위한 분석 및 개발 연구
- IoT (Internet of Things), WoT (Web of Things), 유무선 통신 네트워크 및 서비스, 실시간 네트워크 및 정보통신 망 설계
- 무선 통신 및 멀티미디어 신호처리를 위한 고성능, 저전력의 디지털 집적회로 및 SoC 설계, 임베디드 시스템 설계
- 빅데이터 기반 대용량 딥러닝 컴퓨팅 시스템을 위한 S/W 기술
- 시간 민감형 통신망(Time Sensitive Network) 기반의 자동차/항공기 내부 제어 통신 및 센서기반의 IoT 응용 기술을 다룸.

주요 연구 테마

- 소스/목적 코드 보안취약점 자동 검출, 프로그램 자동 해킹, 모바일 앱 테스팅, 멀웨어 검출
- 신뢰성 평가 및 항공우주/차량 임베디드 시스템 장비 (항공기 대기자료컴퓨터, 충돌검출 및 회피컴퓨터) 개발
- MAC/routing protocol in Communication Network/ Real time Transmission protocol/UAC Network
- High-Performance & Low-Power Digital VLSI & Embedded Systems for Wireless Communication & Multimedia Applications
- 빅데이터, 인공지능, 분산컴퓨팅, 슈퍼컴퓨팅
- Time Sensitive Network over Ethernet for Automotive and IoT
- Ambient Service and Augmented Reality, 정보 검색, 데이터 사이언스, VR/AR 융합 컨텐츠

연구진 구성