Neural Network Verification Software Tool

Reliable decoders for closed-loop verification

Robotics PhD student at Georgia Tech's FACTS Lab, where I design provably safe autonomous flight controllers for real quadrotors. My research spans Control Barrier Functions, nonlinear control, and optimization-based methods — published at ACC, IEEE TCST, and IEEE TRO. I also build open-source tools for the robotics community.