모바일 메뉴 닫기
 

연구

컴퓨터이론

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

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

최적화 및 응용 연구실
👤지도교수: 안형찬
🔬연구분야: 알고리즘 설계, 조합 최적화, 근사 알고리즘, 온라인 알고리즘, 이론 컴퓨터과학, 최적화 기법 응용
📍연구실: 제4공학관 D713호