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. The website of the new lab is under construction.

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
Secr.
+33 (0)1 47 40 75 20
E-Mail
bouyer (at) lsv (dot) fr

Events

FSTTCS'19 December 2019
Mumbai (India)
ICALP'20 July 2020
Beijing (China), Saarbrücken (Germany)
CONCUR'20 September 2020
Vienna (Austria)
GandALF'20 September 2020
Brussels (Belgium)
RP'20 October 2020
Paris (France)

Événements passés