Akash Harapanahalli
Graduate Research Assistant
Atlanta Metropolitan Area United States
Summary
👤
Senior🎓
Top SchoolAkash Harapanahalli is a PhD candidate and Graduate Research Assistant blending rigorous mathematics, control theory, and machine learning to make AI-enabled control systems verifiably safe. He develops scalable computational tools—most notably the JAX-based immrax toolbox—for interval reachability and invariant set analysis, and has applied these methods to train neural controllers with formal safety guarantees. His work spans advanced topics like Lie-group reachable set computation and contracting dynamics on homogeneous manifolds, grounded in hands-on robotics experience from award-winning dual-arm manipulation projects. With nine years of multidisciplinary experience across academia and industry, he mentors students and seeks internships to translate theoretical advances into real-world systems. Notably, he pairs deep theoretical contributions with practical, GPU-scalable software—bridging the gap between provable guarantees and deployable controllers.
9 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD, Machine Learning, Doctor of Philosophy - PhD, Machine Learning at Georgia Institute of TechnologyDougherty Valley High School
Github Skills (10)
data-acquisition7
reachability4
formal-methods3
formal-verification3
verification3
jax3
neural-network2
autonomy1
cpp1
hardware1
Programming languages (6)
Github contributions (5)
gtfactslab/immrax
Nov 2023 - Feb 2026
Interval Analysis and Mixed Monotone Reachability in JAX
Contributions:10 PRs, 14 pushes, 1 branch in 2 years 3 months
jax
Akash-Harapanahalli/immrax
Nov 2023 - May 2026
Interval Analysis and Mixed Monotone Reachability in JAX
Contributions:6 PRs, 113 pushes, 2 branches in 2 years 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.