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.

Software systems are everywhere, but can we rely on them? Unfortunately, software can be buggy, unpredictable, vulnerable to attacks, or even unfaithful. We therefore study techniques to make software bug-free, predictable, secure, and safe. Our research focuses on two key questions:

  • how can we develop reliable software in an efficient way?
  • how can we test, analyze, and verify software?

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