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. There are several open positions (PhD, post-doc) on that project. Please contact us if you are interested. |  |
- My publications
- Some of my recent talks
- My curriculum vitae [27/07/2012]
Professional activities
- I am a member of section 6 of comité national (2012-2016)
- I am workshop chair of LICS conference (2013-2015)
- I currently co-supervise two PhD students:
- Ocan Sankur (PhD started in 2010)
- Eleni-Maria Vretta (PhD started in 2013)
-
I have (co-)supervised the following PhD students:
- Romain Brenguier (2009-2012) : Nash Equilibria in Concurrent Games - Application to Timed Games
- Pierre-Alain Reynier (2004-2007) : Vérification de systèmes temporisés et distribués : modèles, algorithmes et implémentabilité
- Fabrice Chevalier (2004-2007) : Logiques pour les systèmes temporisés : contrôle et expressivité
- I teach in lecture 2.8 of Master parisien de recherche en informatique. The timetable for 2012-2013 is now available on the webpage of the lecture.
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 2011 and in 2012
- 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!
