동국대학교 컴퓨터공학과를 졸업 후 현재 캘리포니아 대학교 데이비스에서 컴퓨터 과학 석사 과정을 밟고 있다. 프로그래밍 언어론과 자동 프로그래밍에 관심이 많으며, 신뢰 가능하고 안전한 소프트웨어 개발을 연구 목표로 하고 있다.