한국과학기술원(KAIST) 전산학과에서 학사 학위를, 동 대학원에서 소프트웨어 공학 전공으로 석사, 박사 학위를 받았다. 현재 안전필수 시스템의 개발 및 검증 전문회사인 (주)포멀웍스를 설립하여 대표이사로 재직 중이다. 한국형 원자로 APR-1400 및 수출형 연구용 원자로 MMIS의 소프트웨어 확인 및 검증, 안전성 분석, 사이버보안을 수행하고, 국내 차량전자 시스템의 검증 및 사이버보안 관련 컨설팅과 분석 도구 개발을 진행하였다. 현재 산업통상자원사이버안전센터 자문위원, 한국정보보안학회 이사, AI+ 인증 심의위원으로 활동 중이며, 2018년 과학기술정보통신부 장관 표창을 수상하였다.