Patricia Bouyer-Decitre
Senior Researcher, CNRS
Director of LMF
Mail: bouyer@lsv.fr
Phone: +33 (0)1 81 87 54 34
Office: 1S60, Bâtiment ENS - Nord
LMF, Bât. ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France
Research
ERC project 
I have been the Principal Investigator of the 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 (February 2019) and in French (August 2021)
Professional activities
- I will be the 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 the LICS conference (2013-2018)
- I teach in lecture 2.8.2 of Master Parisien de Recherche en Informatique.
Students supervision
- I co-supervise four PhD students:
- Anirban Majumdar (started in Sept. 2018, co-supervised by Nathalie Bertrand)
- 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 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.
Projects
Ongoing projects
Efficient Techniques and Tools for the Verification and Synthesis of Real-Time Systems
Past projects
Misc
Personal links
Photography
- The cutest baby :-) in 2010, in 2011 and in 2012
- The cutests babies :-) In 2013, in 2014, in 2015, in , in 2017, in 2018, in 2019 and in 2020.
- Some of my favorite pictures
- My stay at Oxford in pictures
- A wonderful sunset in Iceland: in large or in small format
- A nice hotel
- The burger imperialism
- A one-picture-a-day website
- Astronomy Picture of the Day
- Visit the world with Geo Magazine!
