Sanghoon Park







박상훈 (Park, Sanghoon) M.S. Student

Software Foundation Laboratory.
Dept. of Computer Science & Engineering

Seoul National University

Contact Information

  • Place: Room 554-1, Building 301, School of Computer Science & Engineering, Seoul National University
  • Address: 1 Gwanak-ro, Gwanak-gu, Seoul (P.O. 151-744), Korea
  • Email: sanghoon.park (at)
  • Phone: +82-2-880-4165 (office)


  • Current, M.S. student in Computer Science, Seoul National University
  • Aug. 2015, B.S. in Vocational Education and Workforce Development & Computer Science (double major), Seoul National University.
  • Feb. 2010, High school diploma, Anbeop High School.

Research Interests

  • Software Verification
  • Programming Languages