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
