Rajeev Joshi
Principal Applied Scientist, S3 Automated Reasoning Group
Pasadena, California, United States
Summary
👤
Senior🎓
Top SchoolRajeev Joshi is a principal applied scientist at AWS leading efforts in automated reasoning to make large-scale cloud services more secure and reliable, building on two decades of formal verification research and mission-critical flight software experience. He was a core member of the Curiosity rover flight software team and later served as Chief Engineer for Flight Software and Avionics at JPL, contributing as software co-architect for Europa Clipper and engineer for Mars 2020. Rajeev blends deep theoretical expertise—from work on verifiers and model checkers at SRC and JPL—with practical production impact, infusing verification tools into development lifecycles. He also teaches program correctness at Caltech and serves in leadership at IFIP WG 2.3, reflecting a rare mix of academic rigor, operational spacecraft experience, and cloud-scale engineering. An Android developer on GitHub by hobby, he brings a systems-building mindset to both safety-critical and consumer-facing software.
10 years of coding experience
21 years of employment as a software developer
Indian Institute of Technology BombayPhD, Computer Sciences, PhD, Computer Sciences at University of Texas at AustinElectrical Engineering, Electrical Engineering at St. Columba's High School
Stackoverflow
1reputation
0reached
0answers
0questions
Programming languages (3)
Github contributions (5)
Rajeev02/Android-Code-Snipped
Sep 2016 - Jun 2021
Contributions:89 pushes, 1 branch in 4 years 9 months
Rajeev02/Rajeev02.github.io
Oct 2019 - May 2021
Portfolio
Contributions:5 releases, 14 commits, 1 PR in 1 year 7 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.