Yeji Han
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. I am applying both theoretical and practical approaches to ensure correctness in hypervisors.
Interests: Memory Model, Formal Verification, Hypervisors
| 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 |
| Visiting Research Student, University of Cambridge | 2024 |
| Research Intern, Institute of Computer Technology in Seoul National University | 2023 |
| Software Engineer, Lucentblock | 2020-2022 |