Mark Dongyeon SHIN(신동연)

Software Foundations Laboratory
Seoul National University
advisor : Prof. Chung-Kil Hur

Contact Information

Software Foundation Laboratory. Room 554-1, Building 301
Department of Computer Science and Engineering, Seoul National University
1 Gwanak-ro, Gwanak-gu
Seoul 08826
Republic of Korea

Email: dongyeon.shin (at)
Phone: +82-2-880-4165 (office)


  • M.S student in Computer Science and Engineering, Seoul National University(2016. 3 ~ current)
  • B.S in Computer Science and Engineering, Brain and Cognitive Sciences, Korea University. (2010.3~ 2016. 2)

Research Interests

  • Verified Validation