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.



Recent News

....more
  • [2024.09] Our Lab was granted SW STAR Lab Funding, Ministry of Science and ICT.
  • [2024.09] Geunyeol and Byoungho were granted Research Subsidies for Ph.D. Candidates, National Research Foundation of Korea.
  • [2024.08] Paper "Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption" was published in FM 2024.
  • [2024.07] Hyuksoon was granted Research Subsidies for M.S. Candidates, National Research Foundation of Korea.
  • [2024.06] Paper "Rigorous Model Engineering of Multirate CPSs in Multirate HybridSynchAADL" was accepted to ISOLA 2024.
  • [2024.05] Paper "Formal Specification and Model Checking of TLS Software Security Requirements using Maude" was published in the KIISE Journal.
  • [2024.05] Geunyeol was granted the Best Paper/Presentation Award at WRLA 2024.
  • [2024.03] Paper "A Flexible Framework for Integrating Maude and SMT Solvers Using Python" was accepted to WRLA 2024.