About Me


    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

Publications


Education


  • Feb. 2017 – Current, M.S student in Computer Science and Engineering, Seoul National University
  • Feb. 2009 – Aug. 2016, B.S. Student, Computer Science & Mathematical Sciences (double major), KAIST
  • Mar. 2007 – Feb. 2009, Daejeon Science High School

Personal Interests


  • Watching Baseball Game
  • Cat
  • Dog