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.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 awarded Research Subsidies for Ph.D. Candidates by the National Research Foundation of Korea.
-
[2024.08] Paper “Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption” published in FM 2024.
-
[2024.07] Hyuksoon awarded Research Subsidies for M.S. Candidates by the National Research Foundation of Korea.
-
[2024.06] Paper “Rigorous Model Engineering of Multirate CPSs in Multirate HybridSynchAADL” accepted to ISOLA 2024.
-
[2024.05] Paper “Formal Specification and Model Checking of TLS Software Security Requirements using Maude” published in the KIISE Journal.
-
[2024.05] Geunyeol won the Best Paper/Presentation Award at WRLA 2024.
