김신해

Shinhae Kim

MS Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

  • Program Analysis

  • Silhouette Abstraction

  • Blockchain

Education

MS in Computer Science, Feb. 2018 - Feb.2020

School of Computing, KAIST

BS in Computer Science and Engineering, Mar. 2014 - Feb. 2018

School of Computer Science and Electrical Engineering, Handong Global Univ.