CRiS: The Power of Imagination in Hybrid Verification
Yonghee Kim, Taeyoung Yoon, Sanghyun Yi, Jaehyung Lee, Soonwon Moon, Yeji Han, Seonho Lee, TaeYoung Rhee, Yujin Im, Donghyun Nam, Jieung Kim, Chung-Kil Hur. PLDI, 2026.
About
I am currently pursuing a Ph.D. in Computer Science and Engineering at SFLab, Seoul National University.
I'm also very interested in natural language syntax and semantics, as I double majored in linguistics during my undergraduate studies.
Research Interests
My main research interests include:
- Large-scale program verification
- Automated program verification
- AI-driven autoformalization
- Program logic
Publications
Education
- Sep. 2024 - Current, Ph.D, Computer Science and Engineering, Seoul National University
- Mar. 2020 - Aug. 2024, B.S., Computer Science and Engineering, B.A., Linguistics (double major), Seoul National University
- Oct. 2023 - Feb. 2024, Exchange Student, Hokkaido University, Japan
Teaching
- Teaching Assistant, Principles and Practices of Software Development, Seoul National University, Spring 2026
- Teaching Assistant, Principles of Programming, Seoul National University, Fall 2025
Skills
- Natural Languages: Korean (mother tongue), English (fluent), Japanese (fluent)
- Certifications: JLPT N1, The Japan Kanji Aptitude Test Grade 2
- Programming Languages: C, Python, Ocaml, Rocq, Lean
- Tools: Git, GitHub, Linux, etc.
Scholarships
- National Science & Technology Scholarship, Korea Student Aid Foundation, Mar.2020 - Feb.2024
Contact
The easiest way to reach me is by email at taeyoung.rhee@sf.snu.ac.kr.
You can also find me on GitHub