akash.harapanahalli [at] gmail.com
Akash is 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 his PhD in Machine Learning. He previously received his MS in Mathematics and BS in Computer Engineering from Georgia Tech.
Akash received the 2025-2026 Herbert P. Haley Fellowship from the ML PhD program at Georgia Tech. He is also a recipient of the Georgia Tech President’s Fellowship, as well as the Senior Scholar Award from the School of Electrical and Computer Engineering at Georgia Tech.
His research is centered around safety verification of nonlinear control systems—mainly through reachability and invariance analysis. He has been developing a toolbox called immrax, which has been used to scalably certify safe performance of neural networks in safety-critical control systems, and train neural networks with robust safety guarantees outright.
For a distilled presentation into Akash’s research into parametric reachable sets for neural network controlled dynamical systems, please see link.