Dependable Computing Laboratory

A verification-focused research group asking how machine-learned components can be made trustworthy enough for safety-critical use. It develops proof and analysis techniques for systems ranging from electronic design automation to multi-robot teams and self-driving cars, with support from agencies including NSF and DARPA.