Yeji Han

Science Mining
PhD Student at Seoul National University

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 UniversityCurrent
Advisor: Professor Chung-Kil Hur
B.S., Computer Science, Korea Advanced Institute of Science and Technology (KAIST)2023

Publications

  1. 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

Experiences

Visiting Research Student, University of Cambridge2024
Research Intern, Institute of Computer Technology in Seoul National University2023
Software Engineer, Lucentblock2020–2022

Honors and Awards

Gemma Academic Program for JP/KR 2024, Google2024