Carnegie Mellon University
Building 23 (MS 23-11)
Moffett Field, CA 94035
Guillaume Brat, Principal Systems Scientist & NASA Ames Researcher
Dr. Guillaume is a Principal Systems Scientist, employed by Carnegie-Mellon University, Silicon Valley. He conducts research in software verification within the Robust Software Engineering group in the Intelligent Systems Division at NASA Ames. His main research interest is in static analysis of programs.
With Arnaud Venet, he 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).
He now works closely with Sarah Thompson on a C++ static analyzer based on the LLVM framework. He also works on autonomous system technology, and especially, how they can be verified and validated. He is 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. He received an M.Sc. and Ph.D. from the ECE Department at The University of Texas at Austin.
Website: NASA web profile