Home
Research Projects
Verification and Validation of Machine-Learned Models
Verification and Validation of Robotic Systems
Foundational Verification and Validation
Education Innovation
Publications
About Us
Team
News
Contact
We lead the way in developing techniques and tools to build safe complex software systems.
We target challenging domains that include learned components and interactions with the physical world.
We mentor the next generation of world-class researchers.