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 with MSL Rover

Employment


Teaching


Education

  • PhD, Computer Sciences, The University of Texas at Austin, Oct 1999
    Advisor: Prof. Jayadev Misra
    Thesis Title: Immediacy: A Technique for Reasoning about Asynchrony
  • M.S., Computer Sciences, The University of Texas at Austin, May 1994
  • B. Tech, Computer Sciences, Indian Institute of Technology, Bombay, India, May 1990

Awards

Individual

  • NASA Exceptional Achievement Medal, for exceptional achievement associated with the diagnosis, recovery and restoration of Curiosity to full flight operations after the Sol 200 anomaly, Sep 2014
  • MSL Curiosity Rover Award, for successful development, test and deployment of surface flight software, Aug 2014
  • Mariner Award, for outstanding support to MSL operations through tactical data management support, anomaly investigation and recovery, and general systems engineering support, Sep 2013
  • Mariner Award, for contributions to the MSL mission supporting adoption and integration of improved software verification techniques, Sep 2011
  • JPL Spot Award, for major technical contribution for data management implementation for MSL flight software, Apr 2011
  • NATO Fellowships for attending the 17th and 19th International Summer Schools at Marktoberdorf Germany (1996, 1998)
  • MCD Fellowship, The University of Texas at Austin, 1992 - 1994
  • National Talent Search Scholarship, Govt of India, 1984 - 1990

Team

  • MSL Team Award, as member of the VDP Automode Root Cause and Recovery Team, Aug 2017
  • NASA Group Achievement Award (SMAP Anomaly Response and FSW Update Team), for outstanding performance in resolving flight software anomaly on NASA's Soil Moisture Active Passive mission, Jun 2017
  • NASA Group Achievement Award (MSL Extended Mission-1 Science and Operations Team), for exceptional technical innovations and execution of rover surface operations leading to numerous, profound discoveries about the ancient climate and habitability of Mars, Jun 2017
  • NASA Group Achievement Award (Curiosity Data Catalog Corruption Anomaly Team), for successful diagnosis, recovery, and return to nominal operations after safe mode and catalog corruption on Sol-1389, Jun 2017
  • Flight Software Core Team Award, for the successful completion of the Flight Software Core with Time and Space Partitioning, Apr 2016
  • MSL Sol-696 RCE-A Anomaly Team and FSW Patch Team Award, for investigating the Sol 696 RCE-A NAND anomaly and successfully designing and implementing the R11.0.5 patch on RCE-A, Oct 2015
  • NASA Group Achievement Award (MSL Prime Missions Science and Operations Team), for exceptional technical innovations in rover surface operations leading to significantly improved Mars Science Laboratory prime mission performance and science return, Jun 2015
  • NASA Software of the Year Award, for contribution to flight software development for the Mars Science Laboratory mission, Nov 2013
  • NASA Group Achievement Award (MSL Project Operations Team), for outstanding achievement in the operation and successful execution of the Curiosity rover's mission of exploration to the surface of Gale Crater on Mars, Oct 2013
  • NASA Group Achievement Award (MSL Flight Software Team), for outstanding achievement in the design and development of the Mars Science Laboratory Flight Software, Oct 2013
  • MSL Engineering Operations Team Award, for distinguished contribution to the early surface checkout and characterization activity phase of the MSL Curiosity Rover mission in the data management operations support area, Sep 2013
  • MSL Cruise/EDL Team Award, for successful development of flight software for the Cruise and EDL Phases of the MSL mission, Sep 2012
  • JPL Team Bonus Award, for innovative contributions to application of model checking to the validation and generation of spacecraft command sequences, Aug 2008

Organization



MENTORING