About us
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).
Recent News
-
[2026.01] Our paper “RL-based Heuristic Learning for Model Checking” has been accepted to KCSE 2026.
-
[2026.01] Byoungho received the Distinguished Paper Award at VMCAI 2026. Congratulations!
-
[2025.11] Our paper “A Formal Executable Semantics of PROMELA” has been accepted to VMCAI 2026.
-
[2025.07] Our paper “Formal Analysis of Networked PLC Controllers Interacting with Physical Environments” has been accepted to SAS 2025.
-
[2025.02] Hyeyoon joined our lab. Welcome!
-
[2024.09] Our lab received SW STAR Lab Funding from the Ministry of Science and ICT.
-
[2024.09] Geunyeol and Byoungho received Research Subsidies for Ph.D. Candidates from the National Research Foundation of Korea.
-
[2024.07] Hyuksoon received Research Subsidies for M.S. Candidates from the National Research Foundation of Korea.
