Dependable Computing Laboratory


Our research spans many 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 multi-robot systems, to self-driving cars. Check out our research page for more information.

Lab location:  PHO 209

We are grateful for the funding support from: