YoungJu Song

취업용

Young Ju Song

Contact

  • Email: youngju#song$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
  • Discrete Mathematics

Education

  • Mar. 2015 – Current, M.S., Computer Science and Engineering, Seoul National University (advisor: Chung-Kil Hur)
  • Feb. 2010 – Feb. 2015, B.S., Computer Science & Mathematical Sciences (double major), KAIST
  • Mar. 2007 – Feb. 2010, Korea Science Academy