Our research spans all areas of dependable computing. In particular, we develop computational proof methods (a.k.a. formal methods) and machine learning techniques to aid the construction of safe, reliable and secure systems. Applications of our work run the gamut from electronic design automation, through programmer’s assistant, to self-driving cars. Check out our research page for more information.

Lab location: 209 PHO