학력
University of Illinois at Urbana-Champaign 컴퓨터과학 박사 (1993)
University of Illinois at Urbana-Champaign 컴퓨터과학 석사 (1990)
서울대학교 계산통계학 학사 (1987)
연구 분야
정적 프로그램 분석
안전한 소프트웨어를 위한 정적 분석
정적 분석 기술의 프로그래밍 시스템 응용
고차 및 차입 프로그래밍 시스템(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)