We study automated techniques to verify the reliability, security, and safety of computer systems. Our research spans various domains, including cyber-physical systems, trustworthy AI, and logical foundations and algorithms. Please see our research page for details on our current projects.
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).