캐나다 필즈연구소, 캘리포니아 버클리대학, MIT 등의 연구 기관에서 포스트닥터, 조교수로 재직했으며 현재 연세대학교 수학과 전임교수로 재직 중이다. 2016년 괴델의 전기『논리적 딜레마』를 공동 번역하였다.