서울대학교 컴퓨터공학부 교수.
KAIST 전산학과 교수, 교육과학기술부 지정 선도연구센터 센터장, 과학기술부 지정 창의연구단 단장, Bell Labs-Software Principles Research Department 정규 연구원, MIT, Stanford, CMU, 파리고등사범대학교(ENS Paris) 방문교수, Facebook Research Scientist를 역임했다.
지은 책으로 『Introduction to Static Analysis』(MIT Press, 2020) 등이 있다.
