Guy Bormann

Papers

Total Citations

H-Index

About

Guy Bormann is a researcher specializing in formal specification and verification for mission-critical robotic systems, with a particular focus on space applications. His work centers on developing rigorous mathematical methods to ensure the reliability and safety of autonomous robotic operations, especially in ground control environments. His most notable contribution is the FORMID tool, a formal specification and verification environment designed for integration into the European Space Agency’s DREAMS robotic ground control station. This work, presented in his most-cited paper (6 citations), was conducted within the MUROCO-II project and aims to provide a generic framework for verifying mission correctness before deployment. By bridging formal methods with practical space robotics, Bormann’s research addresses the growing need for dependable autonomous systems in high-stakes environments. His contributions are particularly relevant for students and researchers interested in the intersection of formal verification, robotics, and space exploration, demonstrating how theoretical computer science can directly enhance the safety and efficiency of real-world missions.