1999년 KAIST 전산학과를 졸업하고, 동 대학원에서 프로그래밍 언어 이론(Type System/Program Analysis)을 전공하였다. 2001년 석사학위를 받았다. 프로그래밍 언어 뿐만 아니라 네트워크 프로그래밍, WML, WAP 등에 관심이 많다. 자료 구조론과 프로그래밍 언어 수업의 조교를 맡은 경험이 있다.