Yeji Han

Yeji Han

PhD Candidate at Seoul National University

I am a PhD candidate 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 and their application in building secure and efficient system programs. Currently, I am developing verification techniques to prove memory safety and functional specifications of hypervisors.

Interests: Formal Verification, Memory Model, Hypervisors

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

Publications

  1. 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 2023
Software Engineer, Lucentblock 2020-2022

Honors and Awards

Gemma Academic Program for JP/KR 2024, Google 2024