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