M.S. Student
Software Foundation Laboratory
School of Computer Science and Engineering
Seoul National University
Place: Rm 416, Bldg 301, 1, Gwanak-ro, Gwanak-gu, Seoul
Email: yonghyun#kim$sf#snu#ac#kr, where # is dot(.) and $ is at(@).
Research Interests
Software Verification
Real-time System Verification
Compiler Verification
Formal Verification of LLVM compiler with Coq proof assistant