Max Robotics — Global Service Robot Directory + US Certification

About

Muriel Jourdan is a pioneering researcher in the formal verification of robotics and real-time systems, whose work throughout the mid-to-late 1990s helped establish rigorous mathematical methods as a cornerstone of dependable autonomous system design. Her most influential contribution, "Formal Verification in Robotics: Why and How?" (1996), has garnered 41 citations and remains a landmark reference for researchers grappling with correctness guarantees in complex robotic applications. Alongside her collaborators, Jourdan systematically explored the entire development pipeline — from high-level specification to implementation — as demonstrated in her extensive multi-part validation studies for robotics control systems. Her 1997 work on autonomous vehicle task and mission specification further extended these principles to real-world deployment contexts. Notably, Jourdan also tackled the challenging intersection of formal methods and quantitative real-time constraints, integrating timing analysis directly into robot controller development environments. Her investigation of static timing analysis using timed extensions of synchronous languages reveals a sophisticated understanding of both theoretical foundations and practical engineering demands. For students entering autonomous systems or safety-critical software research, Jourdan's body of work offers an essential methodological foundation bridging computer science formalism and applied robotics.