01
Safe Control
Safety verification and control design for dynamical systems.
Research
My research is organized around three connected pillars: making control systems safe, making learning certifiable, and making autonomy work in practical engineering environments.
02
Certified Learning
Ensuring hard constraints in machine learning models.
03
Practical Autonomy
Optimization and learning tools for autonomous systems operating in uncertain, real-world environments.