Akash Harapanahalli
Graduate Research Assistant
San Francisco Bay 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 (15)
data-acquisition7
oms5
verification4
machine-learning4
reachability4
python4
formal-verification3
odk3
data-science3
formal-methods3
neural-network2
autonomy2
cpp1
jax1
hardware1
Programming languages (5)
Github contributions (5)
Akash-Harapanahalli/immrax
Nov 2023 - Mar 2025
Interval Analysis and Mixed Monotone Reachability in JAX
Contributions:5 PRs, 81 pushes, 1 branch in 1 year 4 months
gtfactslab/immrax
Nov 2023 - Jan 2025
Interval Analysis and Mixed Monotone Reachability in JAX
Contributions:10 PRs, 8 pushes, 1 branch in 1 year 2 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.