He is interested in building a system that has underline principles for why it should be secure. Those principles include the design of a system, analysis of its implementation, and clear separation of trusted components. His thesis work, in particular,focused on detecting and recovering from attacks on computer systems. He has developed tools that would detect intrusion and discover which parts of the operating system could have been affected, allowing a systems administrator to recover from an attack without excessive manual effort. His thesis work has been a foundation of a company, Nerati, where he has co-founded with colleagues during his graduate study. He holds a BS from KAIST (2009), a SM (2011) and a Ph.D. (2014) from MIT, all in CS.