Selected Projects
Formal Reachability and Robust Stability Analysis of Neural Network Control Systems
This thesis explores formal reachability and stability analysis in neural network control systems.
Aug 6, 2026
Data-driven Stability Analysis of Neural Network Control Systems
This work introduces an novel data-driven approach to verify stability of neural network control systems.
Jun 22, 2026
🎉 I have started my position as a Senior R&D Mechanical Engineer at Halliburton.
Feb 16, 2026
Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
This work introduces an novel approach to compute the reachable sets for recurrent neural networks in closed-loop systems.
Jan 21, 2026
🎉 I successfully defended my PhD Dissertation "Formal Reachability and Robust Stability Analysis of Neural Network Control Systems"
Jan 16, 2026