yskim3

Please visit my new page. I moved to the Yale FLINT group.


Ph.D.

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

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

Research Interests

  • Real-time System Verification
  • Compiler Verification
  • Software Verification
  • Programming Languages

Publications

Education

Honors & Awards

  • Mar. 2014 – Current, EECS Graduate Student Scholarship, Korea Foundation for Advanced Studies (KFAS)
  • Mar. 2009 – Feb. 2013, Korean Presidental Science Scholarship, Korea Student Aid Foundation (KOSAF)