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 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: