Patricia Bouyer-Decitre

Senior Researcher, CNRS
Director of LMF

Mail: bouyerREMOVE@lmf.cnrs.fr
Phone: +33 (0)1 81 87 00 00 54 34
Office: 1S60, Bâtiment ENS - Nord

Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France

Some pointers on my research

My publications on DBLP
My google scholar profile
My publications (old -- LSV time)
Some of my recent talks (Really under construction) -- Old style version, which should be preferred
My curriculum vitae in English (Sept. 2023) and in French (Aug. 2023)

I am a PC co-chair of CONCUR'25, which will take place in Aarhus in September 2025
I have been a PC chair for Track B of FSTTCS'23, which has taken place in Hyderabad in December 2023
I have been a PC co-chair for Track B of STACS'23, which has taken place in Hamburg in March 2023
I have been a PC co-chair of FoSSaCS'22, which has taken place in Munich in April 2022
I have been the PC chair of LICS'19, which has taken place in Vancouver in June 2019
I regularly take part to programme committees of conferences
I am a member of the editorial board of the journal TheoretiCS and of the journal Acta Informatica
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 the LICS conference (2013-2018)
I teach in lecture 2.8 of Master Parisien de Recherche en Informatique. Lecture notes

I currently co-supervise two PhD students:
- Vaishnavi Vishwanath (PhD student at CMI, started in Sept. 2023, co-supervised by B. Srivathsan)
- Luc Lapointe (started in Sept. 2023, co-supervised by Nathalie Bertrand)
Former students

I am the recipient of the Presburger Award 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.