계산이론 연구실
👤지도교수: 한요섭
🔬연구분야: 계산이론, 오토마타, 알고리즘, 정보검색, 자연어 처리, 뉴럴-심볼릭 연산
📍연구실: 제4공학관 D709호

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