Experience

  • Research intern

    at Carnegie Mellon University

    September 2018 - November 2018

    Pennsylvania

    Learned the core knowledge of Formal Verification, including the design of security models.

Education

  • Ph.D

    at KAIST

    2014 - at Present (6 years) Daejeon

  • Master of Science

    at KAIST

    2012 - 2014 (2 years) Daejeon

  • Bachelor of Engineering

    at Handong Global University

    2006 - 2012 (6 years) Gyeongsangnam-do

Languages

  • English Conversation

Hives