YongHyun Kim(김용현)

YongHyun Kim

Contact

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

Research interest

  • Formal Verification of LLVM compiler with Coq proof assistant

Education

  • Feb. 2009 – Current, B.S. Student, Computer Science & Mathematical Sciences (double major), KAIST
  • Mar. 2007 – Feb. 2009, Daejeon Science High School