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
Tel: +1 (818) 393-7301
Fax: +1 (818) 354-3000

Work Email

I am a Principal Engineer at the NASA Jet Propulsion Laboratory (JPL) in Pasadena, California. working in the Laboratory for Reliable Software (LaRS). My main research interests are in the application of formal methods to achieve improvements in software reliability and mission operations.

I am also currently serving as the Chief Engineer for Flight Software and Avionics Systems.

Besides doing research with LaRS, I am also a member of the flight software development teams for several upcoming JPL missions, including Europa Clipper (launching 2023), and the Mars 2020 Rover (launching 2020). I was also a member of the flight software team for the Mars Science Laboratory mission, (serving as engineer responsible for the design and implementation of the spacecraft data management system and high-level communication behaviors) and a member of the MSL Surface Operations team, (serving 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).