Verification and Validation of Machine-Learned Models
Verification and Validation of Robotic Systems
Foundational Verification and Validation
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.