Taesoo Kim is an Assistant Professor in the School of Computer Science,College of Computing, Georgia Institute of Technology. He is interested inbuilding a system whose underlying principles justify why it should be secure.Those principles include the design of the system, analysis of itsimplementation, and clear separation of trusted components. He holds the B.S.from KAIST (2009), the S.M. (2011), and the PhD (2014) degrees fromMassachusetts Institute of Technology, all in computer science.