학력
University of Illinois at Urbana-Champaign 컴퓨터과학 박사 (1993)
University of Illinois at Urbana-Champaign 컴퓨터과학 석사 (1990)
서울대학교 계산통계학 학사 (1987)
연구 분야
Static program analysis
Static analysis for safe softwares
Programming systems application of static analysis technology
HOT (higher-order & typed) programming system
경력
2008 – 2015: 센터장, 소프트웨어무결점 연구센터 (교과부/한국연구재단 선도연구센터)
1998 – 2003: 단장, 프로그램분석시스템 연구단 (과기부/과학재단 창의연구단)
1995 – 2003: 조교수/부교수, KAIST 전산학과
1993 – 1995: 정규연구원, SW Principles Research Dept, Bell Labs.
2016: Research Scientist, Facebook
방문교수, Stanford (2017), MIT(2012,2008), CMU(2008), 파리고등사범학교(ENS Paris)(2016, 2002)