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
-
[2025.11] Our paper “A Formal Executable Semantics of PROMELA” was accepted to VMCAI 2026.
-
[2025.07] Our paper “Formal Analysis of Networked PLC Controllers Interacting with Physical Environments” was accepted to SAS 2025.
-
[2025.02] Hyeyoon joined our lab.
-
[2024.09] Our lab received SW STAR Lab Funding from the Ministry of Science and ICT.
-
[2024.09] Geunyeol and Byoungho were awarded Research Subsidies for Ph.D. Candidates by the National Research Foundation of Korea.
-
[2024.08] Our paper “Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption” was accepted to FM 2024.
-
[2024.07] Hyuksoon was awarded Research Subsidies for M.S. Candidates by the National Research Foundation of Korea.
-
[2024.06] Our paper “Rigorous Model Engineering of Multirate CPSs in Multirate HybridSynchAADL” was accepted to ISOLA 2024.
