Welcome to my website!

I am a Graduate Research Assistant in the Formal Methods & Autonomous Control of Transportation Systems Lab at Georgia Tech. Broadly, I am interested in the intersection of control theory and machine learning; more specifically, I want to guarantee safe behavior in safety-critical learning-enabled applications.

Featured Recent Results

Forward Invariance in Neural Network Controlled Systems

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops