Patricia Bouyer-Decitre

Senior researcher, CNRS

Vice-director of LSV

I am the Principal Investigator of ERC project EQualIS, which has started in January 2013.

The tool TiAMo developped in this project.

I am the PC chair of the conference LICS'19, which will take place in Vancouver (Canada) in June 2019.
I am 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 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 took part to several programme committees of conferences.
I teach in lecture 2.8 of Master parisien de recherche en informatique.

I supervise three PhD students:
- Samy Jaziri (started in Oct. 2015)
- Mauricio Gonzãlez (started in March 2016)
- Anirban Majumdar (started in Sept. 2018)
I supervise one post-doctoral researcher:
- Fabian Reiter (since March 2018)
Former students

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.