▶ 학력

2014. 02. 공군사관학교 전자통신공학부 학사

2018. 02. 고려대학교 SW학과 석사

▶ 주요 보직

2018. 2 ~ 현재 공군사관학교 전산정보학과 전산학 교관

항공전자, 초고주파공학 및 실험, 전자기학, 전자장 

정형기법(Formal Methods), 소프트웨어 공학, 시스템 모델링, 리버스 엔지니어링

▶ 해외학술지

Joon-Ha Jang, Jin-Young Choi: Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems, JCM12(8): 482-488(2017)

▶ 국내 학술대회

장준하, 최진영: 무기체계 내장형 SW보증, 국방기술학회 추계학술대회 2016.11

장준하, 최진영: 항공소프트웨어 설계단계와 감항인증에서의 정형검증 적용 연구, 한국정보처리학회 추계학술대회, 2016. 11

김태욱, 장준하, 최진영: UPPAAL을 이용한 AUTOSAR OS 기반 응용프로그램의 Schedulability 정형검증, 2017 한국 소프트웨어 종합 학술대회, 2017. 12

▶ 국내 학술지

조범연, 김보현, 김태욱, 장준하, 최진영: 안전필수 시스템 개발 시 CERT C Coding Standard 활용 연구, 한국정보과학회 학술발표논문집 2016. 12