Patricia Bouyer-Decitre

Directrice de recherche, CNRS

Directrice du Laboratoire Méthodes Formelles

Depuis le 1er janvier 2021, le LSV forme avec l'équipe Vals du LRI le "Laboratoire Méthodes Formelles". Le LMF est une unité mixte de recherche (UMR9021) entre l'Université Paris-Saclay, le CNRS et l'ENS Paris-Saclay. Le LMF a deux partenaires, CentraleSupélec et Inria.

Quelques pointeurs sur ma recherche

Projet ERC

J'ai été responsable du projet ERC EQualIS, janvier 2013 - février 2019.

L'outil TiAMo développé dans le cadre de ce projet.

Mes publications
Mon profil DBLP; mon profil google scholar
Quelques-uns de mes exposés récents
Mon CV en anglais [juillet 2022] et en francais [juillet 2022]

Activités professionnelles

Je serai PC co-chair de la conférence FoSSaCS'22
J'ai été la PC chair de la conférence LICS'19, qui a eu lieu à Vancouver au Canada en juin 2019.
Je suis membre du comité éditorial du Journal of Logical and Algebraic Methods in Programming (JLAMP) et du journal Acta Informatica
Je participe et j'ai participé à un certain nombre de comités de programme de conférences.

J'ai été présidente du jury du prix de thèse Gilles Kahn de la SIF (2016-2018)
J'ai été membre élue de la section 6 du comité national (2012-2016).
J'ai été workshop chair de la conférence LICS (2013-2018).

J'interviens dans le cours 2.8.2 du Master parisien de recherche en informatique.

Encadrements

Je co-encadre quatre doctorants :
- Anirban Majumdar (thèse commencée en septembre 2018, coencadrée par Nathalie Bertrand)
- Nathan Thomasset (thèse commencée en septembre 2019, coencadrée par Stéphane Le Roux)
- Pierre Vandenhove (thèse commencée en octobre 2019, thèse en cotutelle avec UMONS Belgique, coencadrée par Mickael Randour)
- Benjamin Bordais (thèse commencée en septembre 2020, coencadrée par Stéphane Le Roux)
Anciens étudiants

Récompenses

J'ai reçu le Prix Presburger, décerné par l'EATCS, lors de la conférence ICALP'11.
J'ai reçu la médaille de bronze du CNRS en 2007.
J'ai obtenu en 2006 une bourse Marie Curie pour un séjour d'un an à l'université d'Oxford.