I'm a Software Tool Assistant for Robust Software Engineering Group at the NASA Ames Research Center located in Moffett Field, CA.
AutoBayes Technical Report (To be published)
AutoBayes is a fully automatic program synthesis system for statistical data analysis domain; in particular, it solves parameter estimation problems. It has seen many successful applications at NASA and is currently being used on Orion. The AutoBayes Technical Report is designed to help the user understand the tool and its applications better and it also serves as a reference manual.
The OAE (Onboard Abort Executive) project, part of a simulator used for Constellation. We have applied JPF-SE, which combines symbolic execution with model checking and constraint solving for test case generation.
Software Tool Manuals:
I have also been involved in developing User Manuals for RSE Program Synthesis and Certification tools, such as AutoBayes and Autofilter.
Nominal/Off-Nominal Animation Models for CEV:
I have developed nominal/off-nominal scenario animations for future CEV (Crew Exploration Vehicle) flights using Scenebeans (a Java framework for building and controlling animated graphics).
RSE Web Pages:
I have developed and maintained the new RSE gorup and member pages as part of my work here at NASA. View the pages