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]