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]