yjsong2

Ph.D.


I moved to MPI-SWS in November 2021. This website is no longer updated.


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 Verification
  • Compiler Verification
  • Hardware Verification

Publications

Education

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