Guillaume Brat-Silicon Valley Campus - Carnegie Mellon University

Guillaume Brat

Contact Info:
Guillaume Brat
Carnegie Mellon University
Silicon Valley
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