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

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

Developments in Language Theory 운영위원

IFIP WG 1.2 Descriptional Complexity 위원

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

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