Patricia Bouyer-Decitre est une ancienne élève de l’Ecole Normale Supérieure de Cachan (1996-2000). Agrégée de mathématiques, elle est directrice de recherche au CNRS depuis 2010, affectée au Laboratoire Spécification et Vérification (LSV – ENS Cachan, CNRS). Elle a obtenu une médaille de bronze du CNRS en 2007, une bourse Marie Curie pour un séjour à l’Université d’Oxford en 2007 et le prix international Presburger des jeunes informaticiens en 2011.
Grâce à son projet EQuallS, Patricia Bouyer-Decitre s’est vu attribuer la subvention ERC Starting Grants 2012. L’originalité de son projet est de faire fructifier de façon croisée des concepts avancés relevant aussi bien de la théorie des jeux, du model-checking que de l’évaluation de performances. L’enjeu est d’améliorer la perception et l’analyse de systèmes interactifs à la fois sur un plan qualitatif et quantitatif.
Patricia Bouyer-Decitre est spécialiste de la théorie algorithmique des automates temporisés, et est l’auteur de près d’une centaine de publications internationales.
