Yann Thierry-Mieg

Centre National de la Recherche Scientifique

Papers

Total Citations

H-Index

About

Yann Thierry-Mieg is a leading researcher in formal verification, with a particular focus on applying rigorous mathematical methods to the analysis of mobile robotic systems. His work bridges the gap between theoretical computer science and practical robotics, ensuring that autonomous systems behave correctly and safely. His most influential contribution, the 2016 paper "Formal verification of mobile robot protocols," has garnered 38 citations and stands as a key reference in the field, demonstrating how model checking and automated reasoning can be used to prove properties of robot coordination and movement. Thierry-Mieg’s research addresses critical challenges in reliability and correctness for multi-robot systems, where failures can have serious consequences. Though his earlier French-language work "Vérification formelle et robots mobiles" (2013) reached a more limited international audience, it laid the groundwork for his later high-impact studies. By making formal verification accessible and applicable to real-world robotics, Thierry-Mieg has helped shape a new generation of dependable autonomous systems, earning recognition from both the verification and robotics communities.