Contact Information
MS 301-2854800 Oak Grove Drive
Pasadena, CA 91109
U.S.A.
Tel: +1 (818) 393-7301
Fax: +1 (818) 354-3000
Work Email
Rajeev Joshi is a Senior Engineer at the NASA Jet Propulsion Laboratory (JPL) in Pasadena, California. His main research interests are in applying formal methods to improve software reliability.
At JPL, he works in the Laboratory for Reliable Software. He is currently also a member of the flight software development team for the Mars Science Laboratory Mission (MSL), serving as responsible engineer for the rover data management system and spacecraft high-level communication behaviors.
He is also a member of IFIP Working Group 2.3 on Programming Methodology.
NEWS
- I'll be teaching CS116 (Introduction to Program Reasoning) at Caltech in Fall 2011. Classes begin Tue, Sep 27, and will be held in Annenberg 243, Tu/Th 1-2:25 p.m.
- The VSTTE 2012 Conference program is now available online. The conference will be in Philadelphia on Jan 28-29, 2012.
- The MSL Curiosity rover is getting ready for launch! Here's a link to a page with more information about launch.