포항공과대학교 컴퓨터공학과와 동 대학원을 졸업한 후 미국 시카고의 TTIC에서 프로그래밍 언어 전공으로 박사 학위를 받았다. 현재 마이크로소프트 사에서 컴파일러를 개발하고 있다. 『실시간 UML: 임베디드 시스템에서 활용하는』(에이콘출판, 2008)을 공동 번역했다.