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.

My publications
My DBLP profile; my google scholar profile
Some of my recent talks
My curriculum vitae in english [July 2022] and in french [July 2022]

Professional activities

I will be PC co-chair of the conference FoSSaCS'22
I have been the PC chair of the conference LICS'19, which took place in Vancouver (Canada) in June 2019.
I am a member of the editorial board of the Journal of Logical and Algebraic Methods in Programming (JLAMP) and of the journal Acta Informatica
I take and took part to several programme committees of conferences.

I have been the president of the committee for the Gilles Kahn PhD thesis award (2016-2018)
I have been a member of section 6 of comité national (2012-2016)
I have been the workshop chair of LICS conference (2013-2018)

I teach in lecture 2.8.2 of Master parisien de recherche en informatique.

Students supervision

I co-supervise three PhD students:
- Nathan Thomasset (started in Sept. 2019, co-supervised by Stéphane Le Roux)
- Pierre Vandenhove (started in Oct. 2019, joint PhD thesis with UMONS Belgium, co-supervised by Mickael Randour)
- Benjamin Bordais (started in Sept. 2020, co-supervised by Stéphane Le Roux)
Former students

Awards

I am the recipient of the Presburger Award in 2011, given by the EATCS. The ceremony took place during the conference ICALP'11
I have received the bronze medal of CNRS in 2007
I have been awarded a Marie Curie fellowship in 2006, for a one-year stay at Oxford University.