Welcome to the Software Engineering and Verification Laboratory (SEVL) of the Department of Computer Science and Engineering at POSTECH. SEVL was founded in 2016 by Kyungmin Bae when he joined POSTECH.

We study automated techniques to verify the reliability, security, and safety of complex software, including cyber-physical systems and artificial intelligence systems. Please see Research for the details of our current research.


We are looking for motivated students at all levels (graduate or undergraduate). For more details, please contact Prof. Kyungmin Bae (kmbae at postech.ac.kr).

소프트웨어 공학 및 검증 연구실에서는 석사/박사/통합 과정 대학원생 및 학부생 연구원을 모집합니다. 자세한 문의는 배경민 교수에게 연락 바랍니다 (kmbae at postech.ac.kr).