Yoonseung Kim

 

김윤승 Kim Yoonseung (Kim is my family name.)

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: yoonseung.kim (at) sf.snu.ac.kr
Phone: +82-2-880-4165 (office)

Publications

Research Interests

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

Education

  • Sep. 2013 – Current, Ph.D. student, Computer Science and Engineering, Seoul National University (advisor: Chung-Kil Hur)
  • Feb. 2009 – Feb. 2013, B.S., Computer Science & Mathematical Sciences (double major), KAIST
  • Mar. 2006 – Feb. 2009, Korea Science Academy

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)

Personal Interests

  • I love playing football(soccer), running, and listening to music.