Patricia Bouyer-Decitre

[1] She is a senior researcher for the French National Centre for Scientific Research (CNRS), and director of the Laboratoire Méthodes Formelles (Formal Methods Lab) of CNRS and the École normale supérieure Paris-Saclay.

[1] She became a student at ENS Paris-Saclay (known at that time as ENS Cachan) in 1996, earning a maîtrise (master's degree) in mathematics in 1997, a second maîtrise and diplôme d'études approfondies in computer science in 1998, and passing the agrégation in mathematics in 1999.

[3] She completed her Ph.D. in 2002 at the Laboratoire Spécification et Vérification of CNRS and ENS Cachan; her dissertation, Modèles et Algorithmes pour la Vérification des Systèmes Temporisés (Models and Algorithms for the Verification of Timed Systems), was supervised by Antoine Petit [fr].

In work beginning in 1997, and culminating in a 2003 publication with Luca Aceto, Augusto Burgueno and Kim Larsen, Bouyer characterized the properties that can be described in terms of reachability in timed automata.

[1][A] With Petit and Denis Thérien, she found analogues of Kleene's theorem for timed automata, showing their equivalence with certain classes of formal languages.