I am employed by Carnegie-Mellon University and I conduct research in software verification within the Robust Software Engineering group in the Intelligent Systems Division at NASA Ames. I received an M.Sc. and Ph.D. from the ECE Department at The University of Texas at Austin.
I am Principal Systems Scientist at CMU Silicon Valley serving as an IPA at NASA Ames Research Center. I have been the Assistant Area lead for Robust Software Engineering since October 2009. The group conducts research on new verification and validation techniques, mostly based on formal methods.
I am also Project Scientist for the System-wide Safety Assurance Technologies (SSAT) project in the Aviation Safety program in ARMD. I am focusing on the largest theme of the project, the Assurance of Flight Critical Systems (AFCS). Within AFCS, I set research directions for the Software Intensive Systems and Authority & Autonomy elements, for which most of the research is done in RSE at NASA ARC. SSAT is an example of center collaboration. We are working very close to researchers at LaRC and DRFC.
As a researcher, I have worked mostly on static analysis of programs. In the past, with Arnaud Venet, we designed a static analyzer for C programs called C Global Surveyor. CGS has been applied to the flight software of several NASA missions such as Mars missions (MPF, DS1, MER) and some ISS payload software (UPA). Since then, under SSAT funding, the team has expanded and we have developed IKOS, a framework for developing static analyzers based on abstract interpretation. The scalability and precision of IKOS have been demonstrated with a buffer-overflow analysis. This analyzer has been released to private industry at the end of 2013.
Other interests of mine include:
especially the V&V aspects of these technologies.
Intelligent Systems Division
Ames Research Center
Mail Stop 269-2
Moffett Field, CA 94035
Phone: +1 650-604-1105
Fax: +1 650-604-3594
Email: Guillaume.P.Brat "at" nasa.gov