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


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.


Activités professionnelles



Encadrements



Récompenses



Projets

Projets en cours

Ticktac

Projets terminés

ImpRo
P2R
AS 93 du RTP 23

Divers

Liens persos

Photographie

Un œil informaticien

À propos du LSV

    

Contact

Patricia Bouyer-Decitre
Adresse
LSV, CNRS & ENS Paris-Saclay
4, avenue desSciences
91190 Gif-Sur-Yvette, France
Bureau
Bâtiment Nord, bureau 1S60
Tél.
+33 (0)1 81 87 ** **, poste 54 34
E-Mail
bouyer (at) lmf (dot) cnrs (dot) fr

Événements à venir

FORMATS'23 September 2023
Antwerp (Belgium)
TIME'23 September 2023
Athens (Greece)
EUMAS'23 September 2023
Naples (Italy)
RADICAL'23 September 2023
Antwerp (Belgium)
CiE'24 July 2024
Amsterdam (The Netherlands)
ICALP'24 July 2024
*** (***)

Événements passés