M.S. Student, Department of Computer Science and Engineering


Email: sanghoon.park (at) sf.snu.ac.kr

Phone: +82-2-880-4165 (office)


  • Sep. 2015 - Current, M.S. Student in Computer Science and Engineering, Seoul National University
  • Mar. 2010 - Aug. 2015, B.S in Vocational Education and Workforce Development, B.S. in Computer Science and Engineering (double major), Seoul National University.

Research Interest

  • Software Verification
  • Programming Languages