Yonghyun Kim(김용현)

 

1521171608903

  • Email: yonghyun#kim$sf#snu#ac#kr, where # is dot(.) and $ is at(@).
  • Place: Rm 416, Bldg 301, 1, Gwanak-ro, Gwanak-gu, Seoul

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