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.
Ma nouvelle page web sur le site du LMF
Quelques pointeurs sur ma recherche
Activités professionnelles
Encadrements
Récompenses
Projets
Projets en cours
Projets terminés
Divers
Liens persos
Photographie
Un œil informaticien