Our research advances the mathematical and algorithmic foundations of trustworthy autonomy. Our goal is to enable safe, reliable, and intelligent autonomy on land, sea, air, and space.
Our research lies at the intersection of mathematics, computer science, and engineering, and is focused on the development of computationally efficient and provably robust algorithms for machine learning, perception, and control. A major focus of our work is the design of practical estimation and control algorithms for high-dimensional nonlinear systems that provide explicit performance guarantees in real-world operation.
Check out our research page for more information on our recent and ongoing projects!