Patricia Bouyer-Decitre
Senior researcher, CNRS
Vice-director of LSV
- My publications
- Some of my recent talks
- My curriculum vitæ [12/05/2012]
- I have defended my habilitation on January 12, 2009.
- I am the recipient of the Presburger Award in 2011, given by the EATCS. The ceremony took place during the conference ICALP'11.
Some links on my work
- TPTL is strictly more expressive than MTL
- About a bug in the forward analysis of timed automata
- Timed automata with costs: model-checking and games
- I teach in course 2.8 of Master parisien de recherche en informatique.
- I currently supervise two PhD students:
- Romain Brenguier (PhD started in 2009)
- Ocan Sankur (PhD started in 2010)
Projects
Ongoing projects
 |
|
Past projects
 |
 |
 |
|
|
 |
 |
 |
|
 |
Misc
Personal links
Photography
- The cutest baby :-)
- 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!
