School of Computer Science
Taesoo Kim is an Assistant Professor in the School of Computer Science, 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. Kim seeks to develop tools that automatically identify which parts of an operating system have been affected, allowing a system administrator to recover from cyberattacks without excessive, manual effort.