Yeji Han

My research interests lie in formal verification, with a particular focus on system semantics, hardware verification, and concurrent memory models for CPU/GPU architectures.

Education


Ph.D., Computer Science and Engineering, Seoul National University	Current
Advisor: Professor Chung-Kil Hur
B.S., Computer Science, Korea Advanced Institute of Science and Technology (KAIST)	2023

Publications

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

Experiences


Visiting Research Student, University of Cambridge	2024
Research Intern, Institute of Computer Technology in Seoul National University	2023
Software Engineer, Lucentblock	2020–2022