1985년 2월, 서울대학교 계산통계학과 학사
1987년 2월, 서울대학교 계산통계학과 석사
1993년 9월, 일리노이 주립대 (어바나-샴페인) 전산학과 박사
경력 (Career)
1993년 - 1995년, 미국 래티스 반도체 회사 근무,
1995년 - 1998년, 미국 시놉시스사 근무,
1998년 - 2000년, KAIST 전산학과 조교수,
2000년 - 2003년, KAIST 전산학과 부교수,
2004년 - 2006년, 서울대학교 부교수,
2006.10 - 현재, 서울대학교 정교수