These web pages use cascading style sheet features for formatting. You may still browse the text of the site, but for best results, use a modern CSS-enabled browser.
Rajeev Joshi Portrait
 

Contact Information

MS 301-237
4800 Oak Grove Drive
Pasadena, CA 91109
U.S.A.
Tel: +1 (818) 393-7301
Fax: +1 (818) 354-3000


Email


I am a Principal Applied Scientist with the S3 Automated Reasoning Group at Amazon Web Services. My main research interests are in the application of formal verification to achieve improvements in software security and reliability.

From 2003 to 2018, I worked at the NASA Jet Propulsion Laboratory (JPL) in Pasadena, California. as a member of the Laboratory for Reliable Software (LaRS). I also served as the Chief Engineer for Flight Software and Avionics Systems.

I am also a member of the flight software teams for the Mars rovers Curiosity (landed in Gale crater, Aug 5 2012) and Perseverance (landed in Jezero crater, Feb 18 2021). I served as the engineer responsible for the design and implementation of the spacecraft data management system and high-level communication behaviors. I also served as a member of the Curiosity Surface Operations team, (as Data Management Chair).

I hold a joint appointment as Lecturer in Computer Science at the California Institute of Technology, and regularly teach course CS116 (Introduction to Program Reasoning).

I am an elected member of (and current secretary for) IFIP Working Group 2.3 on Programming Methodology.

My Erdös number is 3
      (Narendra KarmarkarAndrew Odlyzko / Laszlo LovaszPaul Erdös).


NEWS