서울대에서 전산 과학을 전공하고 미국 일리노이대에서 박사 학위를 받았다. 미국 벨 연구소에서 연구 활동을 하고, 한국 과학 기술원 전산학과 교수 및 파리 고등 사범학교 초빙 교수를 역임했으며 현재 서울대 컴퓨터공학과 교수로 재직 중이다.