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.
My main research interest is in static analysis of programs. With Arnaud Venet, we designed a static analyzer for C programs called C Global Surveyor. CGS has already been applied to the flight software of several NASA missions such as Mars missions (MPF, DS1, MER) and some ISS payload software (UPA). I now work closely with Sarah Thompson on a C++ static analyzer based on the LLVM framework.
I also work on autonomous system technology, and especially, how they can be verified and validated. I am the PI on the Universal Decision-layer Executive project (also called PLEXIL) and one of the technical leads on the A4O (Autonomy For Operations) project.
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