1. 개요
컴퓨터과학자. 현 한국과학기술원 전산학부 교수.2. 연구 분야
프로그래밍 언어, 머신러닝, 통계학, 확률론, 분산시스템 등.3. 이력
일리노이 주립대학교 전산학과에서 2001년에 박사학위를 받고, 그 후에 카이스트와 서울대학교에서 5년 동안 박사후연구원으로 근무했다.2006년부터 2011년까지는 퀸 메리 런던 대학교 전산학과에서 조교수로, 2011년부터 2017년까지는 옥스퍼드 대학교 전산학과(Department of Computer Science)에서 부교수(2011년-2014년)와 정교수(2014년-2017년)로 재직했다. 또한 옥스퍼드 대학교의 우스터 컬리지에서 튜토리알 펠로우로 근무하였다.
CONCUR 2012과 PLDI 2014에서 우수논문상을 받았고, 2016년에는 separation logic 개발에 기여한 이유로 동료들과 2016 CAV award를 공동 수상했다. 2007년부터 2012년까지는 영국 EPSRC에서 선정한 고등 연구 펠로를 역임했다.
2017년 한국과학기술원 전산학부 교수로 이직했다.