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 |
Publications
- 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
| |
|---|
| Full Scholarship, Seoul National University | 2025 |
| Gemma Academic Program for JP/KR 2024, Google | 2024 |
