Dependable Computing Laboratory

wordcloud

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 programmer’s assistant, to self-driving cars. Check out our research page for more information.

Lab location:  PHO 209

We are grateful for the funding support from: