I’m a graduate student pursuing a Ph.D. in Computer Science and Engineering @POSTECH Software Verification Lab. My main research interest is in automated analysis & verification of safety-critical AI software, specifically neural network verification.

Research Interests

• Neural Network Verification
• Model Checking

Education

• Ph.D in Computer Science and Engineering, POSTECH (Advisor: Prof. Kyungmin Bae)
  • 09.2021 ~ (Pursuing)
• B.S in Computer Science and Engineering, POSTECH
  • 02.2018 ~ 08.2021

Publications

• G. Yu, S. Chae, K. Bae, and S. Moon, Formal Specification of Trusted Execution Environment APIs, International Conference on Fundamental Approaches to Software Engineering (FASE), 2024 [paper] [github]

• J. Yeon, S. Chae, and K. Bae, Layered Abstraction Technique for Effective Formal Verification of Deep Neural Networks, Journal of KIISE, Vol. 49, No. 11, Nov 2022 (in Korean) (Excellent paper award) [paper]

• J. Yeon, S. Chae, and K. Bae, Layered Abstraction for Formally Verifying Deep Neural Networks, Korea Software Congress (KSC), Dec 20-22, 2021 (in Korean) (Best paper award) [paper]

Awards

• ETAPS 2024 Student Scholarship, 02.2024 (ETAPS e.V. and University of Luxembourg)
• Bang Seung-yang Graduate Fellowship, 2022 (Department of CSE, POSTECH)
• Global Leadership Program (GLP), 03.2020, 09.2020 (Department of CSE, POSTECH)

Teaching Experiences

• (CSED490H) Programming Studio, Teaching Assistant (Spring 2024)
• (CSED504) Advanced Operating System, Teaching Assistant (Spring 2023)
• (CSED420) Software Verification, Teaching Assistant (Spring 2022)

Talks

• Utilization of Activation Property DB for Efficient Incremental Neural Network Verification, 9th Summer STAAR Workshop, Jul 27, 2025 (in Korean) [slides]