Our Research

Our work lies at the intersection of control theory, machine learning, and formal methods. Here are some of the areas we're currently working on.

Research Themes

Automated testing & design optimization

As autonomous systems becomes more complex, they can start to fail in unexpected ways. We develop tools that help engineers discover, understand, and mitigate these failure modes.

Safe human-robot interaction and planning

We develop techniques for ensuring both the physical safety and intelligent responsiveness of robot agents in responding to complex human instructions, enabling robots to successfully work together with humans.