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.


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) lsv (dot) fr

Événements à venir

CONCUR'21 August 2021
Paris (France), online
FoSSaCS'22 April 2022
Munich (Germany)
FoIKS'22 June 2022
Warsaw (Poland)
FORMATS'22 September 2022
Helsinki (Finland)
FSTTCS'22 December 2022
Chennai (India)
CSL'23 February 2023
Warsaw (France)
STACS'23 March 2023
Clermont-Ferrand (France)

Événements passés