Sungkook Kim

Research Interests

• semantics, security, formal verification, cyber-physical systems

Education

• Aug. 2017 - Current, Ph.D., Computer Science and Engineering, Seoul National University (advisor: Kwangkeun Yi)
• Aug. 2015 - Jun. 2017, M.S., Electrical and Computer Engineering, Seoul National University (advisor: Soo-mook Moon)
• Feb. 2010 - Aug. 2015, B.S., Computer Science, Korea Advanced Institute of Science and Technology

Contact

• Email : skkim (at) ropas.snu.ac.kr
• Links :
  LinkedIn
  GitHub
  Portfolio
  
• Address :
  Room 312-2, Building 302,
  School of Computer Science and Engineering,
  Seoul National University,
  Gwanak-ro, Gwanak-gu, Seoul, 151-742,
  Republic of Korea