Guillaume Brat
Papers
2
Total Citations
51
H-Index
2
About
Guillaume Brat is a leading researcher in the intersection of formal verification, autonomous systems, and space robotics. His work focuses on ensuring the safety and reliability of complex, mission-critical software, particularly for NASA’s next-generation exploration and robotic missions. Brat’s most influential contribution, the paper "Integrating Formal Verification and Assurance: An Inspection Rover Case Study" (2021, 35 citations), demonstrates how rigorous mathematical proof techniques can be applied to validate autonomous rover behavior, bridging the gap between theoretical verification and practical deployment. He is also the principal architect behind **Space ROS** (2023, 16 citations), an open-source framework developed in collaboration with NASA, Open Robotics, and Blue Origin. This platform adapts the Robot Operating System (ROS) for spaceflight, providing a portable, reusable software foundation for everything from orbital satellites to planetary rovers. By championing open-source, formally assured software, Brat is lowering the barrier for developing safe, autonomous space systems. His work is pivotal in enabling a future where spacecraft can make critical decisions with provable correctness, directly impacting NASA’s Artemis and Mars exploration programs.
Research Focus
Key Achievements
Top Papers
- 1
- 2Space ROS: An Open-Source Framework for Space Robotics and Flight Software16 citations · 2023