I am a PhD student at Seoul National University
advised by Professor Chung-Kil Hur.
My research interests lie in formal verification, with a particular focus on
concurrent memory models of CPU/GPU architectures.
Interests System Semantics Architecture, Hardware Verification
Education
Ph.D., Computer Science and Engineering, Seoul National University
Current
B.S., Computer Science, Korea Advanced Institute of Science and Technology (KAIST)
