연세대학교에서 물리학과 수리물리를 전공하였고, 미국 러트거스 대학교(뉴저지 주립 대학교)에서 수학으로 박사학위를 받았다. 그 후 벨 연구소, 카네기 멜론 대학, 마이크로소프트 리서치를 거쳐 연세대학교 수학과 교수로 재직하다가 2013년 부터 고등과학원 계산과학부 교수로 재직하고 있다.
값이 Θ(t2/log t)의 점근식을 가진다는 것을 증명한 것이 널리 알려져 있다. 이 업적으로써 미국수학회와 세계 수학적 프로스래밍 학회에서 공동으로 수여하는 1997년 풀커슨 상을 수상하였다.
- 고등과학원 계산과학부 교수
- 마이크로소프트 본사 연구소
- 2006 세계수학자대회 초청강연
- 마이크로소프트 본사 연구소
- 2006 세계수학자대회 초청강연