서울대학교 수학과 이학사
독일 University of Muenster 이학석사, 박사
프랑스 INRIA Coq Team 연구원
일본 AIST 정보보안연구센터(RCIS) 연구원
서울대학교 소프트웨어 무결점 연구센터 연구원
현재, 한경대학교 컴퓨터응용수학부 교수