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.