Patricia Bouyer-Decitre
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour |
Laboratoire Albert-Fert CNRS Délégation Île-de-France Sud (d) |
|---|---|
| Directeur de thèse |
Antoine Petit (d) |
| Site web | |
| Distinctions |
Patricia Bouyer-Decitre est une chercheuse française en informatique, née le . Elle a obtenu le prix Presburger en 2011, pour ses travaux sur les automates temporisés.
Élève de l'ENS Cachan (1996-1998)[1],[2], elle passe l'agrégation de mathématiques en 1999, puis soutient en 2002, sous la direction d'Antoine Petit[3] une thèse intitulée « Modèles et algorithmes pour la vérification des systèmes temporisés ». Elle entre ensuite au CNRS, après un postdoc à l'université d'Aalborg, où elle est successivement chargée de recherche, puis directrice de recherche à partir de 2010. Elle passe une année sabbatique en 2007 à l'université d'Oxford sur une bourse Marie Curie. Elle obtient son habilitation à diriger des recherches en 2009 à l'université Paris 7[2] avec un travail intitulé From Qualitative to Quantitative Analysis of Timed Systems[1].
Elle est directrice du Laboratoire Méthodes Formelles depuis janvier 2021. Elle a été directrice adjointe puis directrice du Laboratoire spécification et vérification. Elle préside le jury du prix de thèse Gilles Kahn de la Société informatique de France (SIF) (2016-2018). Elle est Principal Investigator (PI) du « Starting grant project » ERC EQualIS (2013-2018)[4].
En 2007 elle obtient la médaille de bronze du CNRS[5]. Le prix Presburger de l'EATCS lui est attribué en 2011[2].
