The Software Introspection Laboratory at the University of California, Santa Cruz focuses on the structure of software and how it evolves over time. As a lab, we're interested in how bugs get introduced into software and are working on techniques to identify and fix errors reliably. We are applying these software engineering concepts to computer games. Among our research projects is a program that provides runtime verification and repair of event-based systems. Want to know more about current projects? Use the top navigation or click here.