I am interested in developing approaches for pushing agile robotic systems to the brink of their hardware limits while providing formal guarantees on their safety and performance. I am particularly excited about applying algorithmic and theoretical techniques from nonlinear control theory, optimization, motion planning, and machine learning to the areas of autonomous unmanned aerial vehicle flight, legged locomotion, and grasping/manipulation. Please see our lab webpage for more information.