Teaching

• CS116: Reasoning About Program Correctness, California Institute of Technology
  Fall Terms 2008, 2010, 2011, 2013, 2015, 2017 and 2019
  

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

• Co-chair, 7th NASA Formal Methods Symposium, Pasadena, CA, Apr 2015
• Joint Program Chair, 4th International Conference on Verified Software (VSTTE 2012), Philadelphia, PA, Jan 2012
• Co-chair, 3rd NASA Formal Methods Symposium, Pasadena, CA, Apr 2011
• Co-chair, VSTTE Tools and Experiments Workshop, Edinburgh, Scotland, Aug 2010
• Co-chair, VSTTE Experiments Workshop, Toronto, Canada, Oct 2008
• Co-organizer, JPL Mini-Software Assurance Symposium, Pasadena, CA, Mar 2006
• Co-chair, Session on Software Reliability Tools and Techniques, JPL/Goddard Quality Mission Software Workshop, Philadelphia, May 2005
• Local Arrangements Chair,Conference on Principles of Distributed Computing (PODC), Monterey, CA, May 2002

MENTORING

• Federico Poli (ETH Zurich), AWS Summer Intern (2021)
• Jacob Van Geffen (University of Washington), AWS Summer Intern (2021)
• Hayley LeBlanc (UT Austin), AWS Summer Intern (2021)
• Vytautas Astrauskas (ETH Zurich), AWS Summer Intern (2020)
• Daniel Fremont (UC-Berkeley), JPL Summer Intern (2017)
• Willis O'Leary (Caltech), JPL Summer Intern (2015)
• Rachel Redberg (UC-Berkeley) and Spencer Reeves (UC-Irvine), JPL Summer Interns (2013)
• Mihai Florian (Caltech) , JPL Summer Intern (2010)
• Anna Zaks (NYU) , JPL Summer Intern (2007)
• John Erickson (UT-Austin) , JPL Summer Intern (2006)
• Cheng Hu (Caltech), JPL Summer Intern (co-advisor, 2005)
• Peter Dillinger (Georgia Tech) , JPL Summer Intern (co-advisor, 2004)
• Xinming Ou (Princeton), Compaq/HP Labs Summer Intern (2002)