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.