디펜더블컴퓨팅 연구실
👤지도교수: 이경우
🔬연구분야: 소프트 에러, 신뢰성, 결함 감내성, 사물인터넷 기반 의료서비스, 머신러닝 기반 의료서비스, 인공신경망 가속기
📍연구실: 제4공학관 D809호

모바일임베디드시스템 연구실
👤지도교수: 차호정
🔬연구분야: 모바일 컴퓨팅, On-device AI, 크로스디바이스 Web, Batteryless 시스템, 기계학습 기반 시스템 최적화
📍연구실: 제4공학관 D814호

빅데이터시스템&AI 연구실
👤지도교수: 박광현
🔬연구분야: Systems for ML, Instance-optimized (learned) systems, H/W and data platform co-design
📍연구실: 제4공학관 D706호

스케일러블 시스템 소프트웨어 연구실
👤지도교수: 정진규
🔬연구분야: 운영체제, 스토리지 시스템, 클라우드 컴퓨팅, 머신 가상화, 모바일 시스템
📍연구실: 제4공학관 D705호

시스템 보안 연구실
👤지도교수: 송도경
🔬연구분야: 시스템 보안, 운영체제 보안, 바이너리 역공학, 프로그램 분석, 기밀 컴퓨팅
📍연구실: 제4공학관 D714호

어플리케이션 대상 시스템 최적화 연구실
👤지도교수: 박영준
🔬연구분야: 컴파일러, 시스템 소프트웨어, PIM, NPU, GPU
📍연구실: 제4공학관 D708호

정형 컴퓨팅 및 인공지능 연구실
👤지도교수: 김지응
🔬연구분야: 프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성
📍연구실: 제4공학관 D724호

하이퍼포먼스컴퓨팅플랫폼 연구실
👤지도교수: 김영석
🔬연구분야: 컴퓨터 아키텍처, 시스템 소프트웨어, 프로세서 성능 모델링 및 스케줄링, GPU 기반 병렬화, FPGA 기반 하드웨어 가속
📍연구실: 제4공학관 D711호