Patricia Bouyer-Decitre
Senior researcher, CNRS
Director of LSV
ERC project 
| I have been the Principal
Investigator of 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 [February 2019]
Professional activities
- 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 LICS conference (2013-2018)
- I teach in lecture 2.8.2 of Master parisien de recherche en informatique.
Students supervision
- I supervise three 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)
- 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
| Ticktac |
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!
