Taesoo Kim
Taesoo Kim is Professor in the School of Computer Science, College of Computing at the Georgia Institute of Technology, which he joined in 2014 after completing his Ph.D. at the Massachusetts Institute of Technology. Kim is interested in building computing systems where underlying principles justify why it should be secure. Those principles include the design of the system, analysis of its implementation, and clear separation of trusted components.