Patricia Bouyer-Decitre
Senior researcher, CNRS
Vice-director of LSV
ERC project 
| I am the Principal Investigator of ERC project EQualIS, which has started in January 2013.
The tool TiAMo developped in this project. |
 |
- My publications
- My DBLP profile; my google scholar profile
- Some of my recent talks
- My curriculum vitae [August 2016]
Master internships propositions
Professional activities
- 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.
Students supervision
- I supervise three PhD students:
- 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 one post-doctoral researcher:
- Vincent Jugé (since February 2016)
- Former students
Awards
- 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.
Projects
Ongoing projects
|
|
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 2016 and in 2017 - 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!
