Hamza Bourbouh
Papers
1
Total Citations
35
H-Index
1
About
Hamza Bourbouh is a leading researcher in formal verification, safety-critical systems, and model-based development, with a focus on ensuring the reliability of autonomous and cyber-physical systems. His most-cited work, "Integrating Formal Verification and Assurance: An Inspection Rover Case Study" (2021, 35 citations), exemplifies his core contribution: bridging the gap between rigorous mathematical verification and practical assurance processes for complex, real-world systems. Bourbouh’s research integrates tools like model checkers and theorem provers into industrial workflows, enabling engineers to formally verify properties of control software—such as that used in rovers, drones, or medical devices—without sacrificing development speed. His work has been instrumental in advancing the state of the art for certifiable autonomy, where safety and correctness are paramount. By demonstrating how formal methods can be seamlessly embedded into assurance cases, Bourbouh has provided a blueprint for building trustworthy autonomous systems. His impact extends beyond academia, influencing practices in aerospace and robotics, and his case studies serve as benchmarks for the formal verification community. For students and researchers, Bourbouh’s work offers a compelling vision of how to make safety-critical software both provably correct and practically deployable.
Research Focus
Key Achievements
Top Papers
- 1