전산이론, 시스템·네트워크

동시성 및 병렬성 연구실

강지훈

전산이론, 소프트웨어 디자인

프로그래밍 언어 연구 그룹

류석영

전산이론, 인공지능·정보서비스, 소셜 컴퓨팅

자연언어처리 및 계산언어학 연구실

박종철

전산이론, 인공지능·정보서비스

프로그래밍 언어 및 기계학습 원리 연구실

양홍석

전산이론, 소프트웨어 디자인

계산지능형 소프트웨어 공학 연구실

유신

전산이론, 시큐어 컴퓨팅

암호론 연구실

이주영

전산이론

복잡도 및 실수 연산 연구실

지글러 마틴

전산이론, 비주얼 컴퓨팅, 소셜 컴퓨팅

기하 컴퓨팅 연구실

최성희

전산이론, 소프트웨어 디자인, 시큐어 컴퓨팅

프로그래밍 시스템 연구실

허기홍