Patricia Bouyer-Decitre

Senior researcher, CNRS

Director of LMF (Laboratoire Méthodes Formelles)


Since January 1, 2021, the LSV and the Vals team of LRI form the "Laboratoire Méthodes Formelles". (Formal Methods Lab). The new lab is a joint research unit (UMR9021) between University Paris-Saclay, CNRS and ENS Paris-Saclay. The lab has two institutional partners, CentraleSupélec and Inria.


My new webpage on the LMF website

Some pointers on my research


ERC project

I have been the Principal Investigator of ERC project EQualIS, January 2013 - February 2019.

The tool TiAMo developped in this project.


Professional activities



Students supervision



Awards



Projects

Ongoing projects

Ticktac

Past projects

ImpRo
P2R
AS 93 du RTP 23

Misc

Personal links

Photography

Computer science

About LSV

    

Contact

Patricia Bouyer-Decitre
Address
LSV, CNRS & ENS Paris-Saclay
4, avenue des Sciences
91190 Gif-sur-Yvette, France
Office
Bâtiment Nord, office 1S60
Phone
+33 (0)1 81 87 ** ** with ** ** = 54 34
E-Mail
bouyer (at) lmf (dot) cnrs (dot) fr

Events

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