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.

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

Events

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