Sam King

Ph.D. University of Michigan, 2006

Research Statement

Insecure and error prone software is problematic for computing systems. Computer intrusions that result from insecure software lead to a number of problems including the loss or corruption of sensitive data, costly and time intensive cleanup efforts, and damage to a company's reputation. Additionally, software bugs can cause system outages that have been estimated to cost businesses billions of dollars each year.

My research interests are in designing, implementing, and analyzing secure and robust software systems. My current and future work spans across all levels of software from low-level virtual-machine monitor and operating system software to high-level application code. I believe that the best way to validate designs is by implementing and deploying experimental software systems, as I have done with my current research projects and plan to continue doing with my future research projects.