Selected Projects
🎉 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
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

Goal-Reaching Control Synthesis for Neural Network Control Systems via Backward Reachability
Goal-Reaching Control Synthesis for Neural Network Control Systems via Backward Reachability

Goal-reaching control synthesis for neural network control systems.

Dec 9, 2025

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes

This work introduces an efficient approach to compute the reachable sets for convolutional neural networks.

Mar 13, 2025