akash.harapanahalli [at] gmail.com

I am a Graduate Research Assistant in the Formal Methods & Autonomous Control of Transportation Systems (FACTS) Lab at Georgia Tech, under the supervision of Dr. Samuel Coogan, currently pursuing my PhD in Machine Learning and my MS in Mathematics.

My research is centered around safety verification of nonlinear control systems—mainly through reachability and invariance analysis. I have been developing a toolbox called immrax, which we have used to scalably certify safe performance of neural networks in safety-critical control systems, and train neural networks with robust safety guarantees outright. I am also interested in more mathematical tools such as contraction theory and differential geometry, and how they factor into modern control systems analysis.