YoungJu Song

취업용

Youngju Song

Publications

Contact

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

Research interest

  • Software (esp. Compiler) Formal Verification
  • 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