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 a member of section 6 of comité national (2012-2016)
I am the president of the committee for the Gilles Kahn PhD thesis award (2016-2018)
I am 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 five PhD students:
- Patrick Gardy (started in Sept. 2013)
- Daniel Stan (started in Sept. 2013)
- Pierre Carlier (started in Oct. 2014), joint agreement with the University of Mons in Belgium
- Samy Jaziri (started in Oct. 2015)
- Mauricio Gonzãlez (started in March 2016)
I supervise two post-doctoral researchers:
- Maximilien Colange (since September 2015)
- Vincent Jugé (since February 2016)
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.