Max Robotics — Global Service Robot Directory + US Certification

About

Philippe Dhaussy is a leading figure in the fields of autonomous marine robotics and cyber-physical systems verification. His most impactful work stems from the European ASIMOV project, where he pioneered the coordinated operation of Autonomous Surface Crafts (ASC) and Autonomous Underwater Vehicles (AUV). This foundational research, which has garnered over 140 citations, established critical frameworks for robust communication links between heterogeneous robotic ocean vehicles, directly advancing the capabilities of marine science applications. Beyond this, Dhaussy has made significant contributions to the formal verification of complex embedded systems, particularly through the development of the OBP (Observer-Based Prover) tool. This work enables rigorous validation of real-time and distributed systems, ensuring safety and reliability in critical applications. His research is distinguished by its practical impact, bridging the gap between theoretical formal methods and real-world autonomous systems. With a career spanning both pioneering marine robotics and cutting-edge software verification, Dhaussy’s work continues to influence how engineers design and trust autonomous systems operating in dynamic, unpredictable environments.