Guillaume Brat

Dr. Guillaume Brat is a systems architect specializing in bridging rigorous software assurance with the rapid-deployment demands of NewSpace constellations. He is currently leading the development of next-generation high-assurance architectures for orbital systems.

His expertise is rooted in a distinguished 26-year career at NASA Ames Research Center, where he served as a senior researcher and a strategic leader. As the Area Lead for Robust Software Engineering, he managed a multi-disciplinary team of over 50 researchers and developers, directing the creation of high-integrity software for iconic missions, including the Mars rovers and the International Space Station. His leadership has been instrumental in maturing technologies like static analysis (CGS, IKOS) and formal requirement tools (FRET) from theoretical research into flight-proven industry standards.

Guillaume is a recognized authority on formal methods for aviation system assurance, specializing in mathematically proving the safety of mission-critical and AI-enabled systems. Whether he’s architecting complex satellite clusters or hardening the logic behind next-generation autonomous flight software, he delivers the high-assurance foundations required for the future of aerospace and orbital infrastructure.