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

I am the PC chair for Track B of FSTTCS'23, which will take place in Hyderabad in December 2023
I took part to several 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.

I co-supervise four 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)
- Nathan Thomasset (started in Sept. 2019, co-supervised by Stéphane Le Roux)
- Benjamin Bordais (started in Sept. 2020, co-supervised by Stéphane Le Roux)
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.