Yeji Han
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: Memory Model, Compilers, Formal Verification
| 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 |