Archived News
- February 2026: We submitted our work GUARDIAN: Safety Filtering for Systems with Perception Models Subject to Adversarial Attacks to L-CSS/CDC 2026.
- July 2025: I presented our work Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops at ACC 2025 in Denver, CO.
- July 2025: We had lots of great discussions at our Workshop on Formal Verification of Control Systems with Neural Network Components at ACC 2025. Special thanks to our invited speakers Saber Jafarpour, Lars Lindemann, Jonathan DeCastro, and Huan Zhang!
- June 2025: Our work Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis was accepted for publication in TCST.
- December 2024: Our work Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops was accepted for publication in L-CSS and will be presented at ACC 2025 in Denver, CO.
- May 2024: I presented our paper Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances at ICRA in Yokohama, Japan.
- January 2025: Our Workshop on Formal Verification of Control Systems with Neural Network Components will be held as part of the program at ACC 2025.
- December 2023: Our paper Backward Reachability Analysis for Neural Feedback Loops was awarded the 2023 IEEE Aerospace Controls Technical Committee Outstanding Student Paper Prize.
- May 2023: I finished my Masters degree in MIT AeroAstro with the submission of my thesis “BReach-LP: a Framework for Backward Reachability Analysis of Neural Feedback Loops”.
- April 2023: Our journal paper Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems was accepted to the IEEE Open Journal of Control Systems.