Electrical & Computer Engineering

Dependable Computing Laboratory

AI SafetyML TheoryRoboticsSecurity

Combines formal methods and machine learning to build safe, reliable, and secure cyber-physical and AI systems.

Website

https://www.bu.edu/dcl/