- 1986년 2월, 서울대학교 컴퓨터공학과 졸업 (공학사)
- 1988년 2월, 서울대학교 대학원 컴퓨터공학과 졸업 (공학석사)
- 1994년 12월, 매릴랜드 주립대학교 대학원 컴퓨터과학과 졸업 (공학박사)

- 1988년-1989년, 한국전자통신연구원 (연구원)
- 1994년-1995년, University of Maryland, (Faculty Research Associate)
- 1995년-1995년, Silicon Graphics Inc. (Member of Technical Staff)
- 1995년-1997년, 서울대학교 공과대학 전기공학부 (전임강사)
- 1997년-2001년, 서울대학교 공과대학 전기컴퓨터공학부 (조교수)
- 2001년-2006년, 서울대학교 공과대학 전기컴퓨터공학부 (부교수)
- 2006년-현재, 서울대학교 공과대학 전기컴퓨터공학부 (교수)

- 실시간 시스템
- 실시간 미들웨어
- 운영체제
- 소프트웨어 공학