Welcome to the Software Engineering and Verification Laboratory (SEVL) of the Department of Computer Science and Engineering at 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.