I am a Ph.D. candidate in the Formal Reasoning & Verification Laboratory at POSTECH, advised by Kyungmin Bae.
My research focuses on the logical foundations of Signal Temporal Logic (STL) and model checking of hybrid systems. I also work on rewriting logic, SMT-based reasoning, and the formal analysis of trusted execution environments.
Research Areas
- Signal Temporal Logic (STL): Reasoning over continuous-time signals and model checking of hybrid systems.
- Trusted execution environments: Formal specification of TEE APIs and model checking of trusted applications.
- Rewriting logic and SMT: Symbolic reasoning and verification methods combining rewriting logic and SMT solving.
Publications
-
Formal Specification of Trusted Execution Environment APIs and Model Checking of Trusted Applications
Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon, Siheung Kim
Formal Aspects of Computing, 2026
paper | project
-
SMT-Based Robust Model Checking for Signal Temporal Logic
Jia Lee, Geunyeol Yu, Kyungmin Bae
Science of Computer Programming, 2025
paper | project
-
Formal Specification of Trusted Execution Environment APIs
Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon
International Conference on Fundamental Approaches to Software Engineering (FASE) , 2024
paper | project | slides
-
A Flexible Framework for Integrating Maude and SMT Solvers Using Python
Geunyeol Yu, Kyungmin Bae
International Workshop on Rewriting Logic and its Applications (WRLA) , 2024
paper | project
-
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT
Geunyeol Yu, Jia Lee, Kyungmin Bae
International Conference on Computer Aided Verification (CAV) , 2022
paper | project
Software
I develop and maintain the following research tools and formal specifications.
- STLmc: SMT-based robust STL model checking for hybrid systems.
- MaudeSE: Integration of Maude and SMT solvers for symbolic analysis.
- TEE formal specifications: TEE API specifications and models for trusted application analysis.
Education
- Integrated M.S. & Ph.D. in Computer Science and Engineering, POSTECH, 2019–Present
- B.S. in Computer Science and Engineering, POSTECH, 2019
Teaching
Teaching Assistant, POSTECH
- Theory of Computation (CSED502), Fall 2025, 2024
- Software Design Methods (CSED332), Fall 2020, 2019
- Programming Languages (CSED321), Spring 2019
Academic Service
Honors and Awards
- Research Subsidies for Ph.D. Candidates, National Research Foundation of Korea, 2024
- Best Paper/Presentation Award for Young Researcher, WRLA, 2024
- POSTECH CSE Paper Award, 2023
- National Science & Technology Scholarship, 2012–2015, 2018