yskim2

Ph.D. Student

Software Foundation Lab.
Room 554-1, Building 301
School of Computer Science and Engineering
Seoul National University
1 Gwanak-ro, Gwanak-gu, Seoul 151-744, Korea

Email: youngju.song (at) sf.snu.ac.kr
Phone: +82-2-880-4165 (office)

Research Interests

  • Software (esp. Compiler) Verification

Publications

Education

  • Mar. 2015 – Current, Ph.D. student, 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

Experience

  • Exchange Student. Tokyo Institute of Technology. 2012 June ~ 2012 July (advisor: Kazuyuki Shudo)
  • Research Assistant Intern. Frograms, Inc. 2013 March ~ 2013 June

Honors and Awards

  • Gold medal in the 23th Korean Mathematical Olympiad (KMO) first round, 2009
  • 5th place in ACM International Collegiate Programming Contest (ICPC) regional, 2012
  • 2nd place in ACM International Collegiate Programming Contest (ICPC) regional first round, 2013