I am a PhD student at Seoul National University
advised by professor Chung-Kil Hur.
My research interest lies in formal verification, with a particular focus on
concurrent memory models of Arm architecture.
Interests: Arm System Semantics, Heterogeneous Architecture
Education
Ph.D., Computer Science and Engineering, Seoul National University
Current
B.S., Computer Science, Korea Advanced Institute of Science and Technology (KAIST)
2023
Publications
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. CRIS: The Power of Imagination in Hybrid Verification.PLDI 2026
Ben Simner, Thomas Fourier, Yeji Han, David Kaloper Meršinjak, Thibaut Pérami, Peter Sewell, Jean Pichon-Pharabod. Abstract hardware to catch concrete bugs.Pre-print
Experiences
Visiting Research Student, University of Cambridge
2024
Research Intern, Institute of Computer Technology in Seoul National University
