Seung Hyun Chae’s Homepage

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
• Undergraduate Semester Exchange, Seoul National University
  • 06.2018 ~ 08.2018, 12.2018 ~ 01.2019