컴퓨터과학과

세부정보 보기

연구 분야

계산이론, 오토마타, 알고리즘, 정보검색, 자연어 처리, 뉴럴-심볼릭 연산

주요 경력

2009 - 현재: 교수, 연세대학교 컴퓨터과학과
2005 - 2009: 선임연구원, 한국과학기술연구원

주요 학술활동

Developments in Language Theory 운영위원

IFIP WG 1.2 Descriptional Complexity 위원

한국정보과학회 정보올림피아드 위원회 위원

국제학술대회 프로그램위원: CIAA, DLT, DCFS 등