I am a PhD student 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 of Arm architecture.
Interests: Arm System Semantics, 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 | 2024, 2025 |
| Gemma Academic Program for JP/KR 2024, Google | 2024 |