Yeji Han

Notion style avatar of me

I am a PhD candidate at Seoul National University advised by professor Chung-Kil Hur. My research aims to make formal verification on concurrent programs. I am currently working on Linux pKVM verification.

Interests: Compilers, Formal Verification, Weak Memory

Education

Ph.D., Computer Science and Engineering, Seoul National University Current
B.S., Computer Science, Korea Advanced Institute of Science and Technology (KAIST) 2023
Korean Minjok Leadership Academy (KMLA) 2018

Experience

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