Patricia Bouyer-Decitre (LMF, CNRS, ENS Paris-Saclay) has been awarded the CNRS Silver Medal 2026 in recognition of her contributions to formal methods, automata theory, logic, and game theory. This prestigious distinction honors researchers for the originality, quality, and impact of a body of work that significantly advances research at the national and international levels.
The CNRS Silver Medal follows several distinctions she has received, including the CNRS Bronze Medal (2007), the EATCS Presburger Award (2011), and an ERC Starting Grant (2012). Patricia Bouyer-Decitre served as director of the Laboratoire Spécification et Vérification in 2020, and of the Laboratoire Méthodes Formelles from 2021 to 2025.
Further information can be found in the CNRS press release.