Contact InformationMS 301-237
4800 Oak Grove Drive
Pasadena, CA 91109
Tel: +1 (818) 393-7301
Fax: +1 (818) 354-3000
Besides doing research with LaRS, he is also a member of the flight software development team for the Mars Science Laboratory (MSL) mission, as engineer responsible for the design and implementation of the spacecraft data management system and high-level communication behaviors. He is currently a member of the MSL Surface Operations team, serving as Data Management Chair.
He is an elected member of IFIP Working Group 2.3 on Programming Methodology.
- The Curiosity Rover recently announced the detection of methane and organics on Mars. For further details, see this article. See this site for the latest news about the rover.
- The 7th NASA Formal Methods Symposium (NFM201) will be held in Pasadena on 27-29 April, 2015.
- The 7th IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) will be held in San Francisco on 18-19 July, 2015. Submission deadline is 27 April (abstracts) and 4 May (full papers).