Patricia Bouyer-Decitre (publicada como Patricia Bouyer, nacida en 1976) es una científica informática teórica francesa conocida por su investigación sobre autómatas cronometrados , verificación de modelos y lógica temporal . [1] Es investigadora principal del Centro Nacional Francés de Investigaciones Científicas (CNRS) y directora del Laboratoire Méthodes Formelles (Laboratorio de métodos formales) del CNRS y la École normale supérieure Paris-Saclay . [2]
Patricia Bouyer nació en 1976. [1] Se convirtió en estudiante en ENS Paris-Saclay (conocida en ese momento como ENS Cachan) en 1996, obteniendo una maîtrise (maestría) en matemáticas en 1997, una segunda maîtrise y diplôme d ' Études approfondies en informática en 1998, y pasando la agrégation en matemáticas en 1999. [3]
Completó su Ph.D. en 2002 en el Laboratoire Spécification et Vérification de CNRS y ENS Cachan; su disertación, Modèles et Algorithmes pour la Vérification des Systèmes Temporisés ( Modelos y algoritmos para la verificación de sistemas cronometrados ), fue supervisada por Antoine Petit . [1] [3] [4] Completó una habilitación en la Universidad Paris Diderot en 2009, con la tesis de habilitación Del análisis cualitativo al análisis cuantitativo de sistemas cronometrados . [1]
Fue investigadora postdoctoral en la Universidad de Aalborg en 2002, y también en 2002 se convirtió en investigadora junior del CNRS. Fue ascendida a investigadora senior en 2010. [3]
Bouyer es conocido por varios resultados significativos en autómatas cronometrados . En un trabajo que comenzó en 1997 y culminó en una publicación de 2003 con Luca Aceto, Augusto Burgueno y Kim Larsen, Bouyer caracterizó las propiedades que pueden describirse en términos de accesibilidad en autómatas cronometrados. [1] [A] Con Petit y Denis Thérien, encontró análogos del teorema de Kleene para autómatas cronometrados, mostrando su equivalencia con ciertas clases de lenguajes formales . [1] [B] Con Catherine Dufourd, Emmanuel Fleury y Antoine Petit, introdujo autómatas temporizados actualizables, extensiones de autómatas temporizados con operaciones que actualizan las variables de tiempo en lugar de simplemente restablecerlas a cero, y encontró varias subclases importantes de estos autómatas para que el problema de la vacuidad es decidible. [1] [C]
En lógica temporal , Bouyer trabajó con Fabrice Chevalier y Nicolas Markey para demostrar la mayor expresividad de una forma de lógica temporal, la lógica temporal proposicional cronometrada , sobre otra, la lógica temporal métrica . [1] [G] Otros temas en su investigación incluyen la aplicación de autómatas cronometrados a la detección de fallas , [E] la adición de costos y restricciones de energía a los autómatas cronometrados, [D] [F] y la existencia de equilibrios de Nash en versiones cronometradas de la teoría de juegos . [H]
Bouyer-Decitre ganó la Medalla de Bronce del CNRS en 2007. Fue la ganadora en 2011 del Premio Presburger de la Asociación Europea de Ciencias de la Computación Teórica . [1]