Contact
| Office | 6A23 at 175 rue du Chevaleret, 75013 Paris |
| firstname.lastname@liafa.jussieu.fr | |
| Tel. | +33 (0) 1 44 27 28 39 |
| Fax | +33 (0) 1 44 27 68 49 |
Mail address
| Laboratoire Liafa, |
| Université Paris Diderot - Paris 7 |
| Case 7014 |
| F-75205 Paris Cedex 13 |
| France |
General informations
I am a full time researcher of the Cnrs in team automata and applications at Liafa (Paris, France).
I am mainly interested in automata theory and its links with logics. Among others:
- automata on finite trees, tree-walking and pebble automata,
- automata on infinite words, monadic logic, extensions,
- automata on infinite trees, monadic logic, extensions,
- game theory applied to logic.
Teaching
I am teaching with Christian Choffrut, and Jacques Sakarovitch the course "modélisation par automates finis" in MPRI (Notes de cours en français).
Events
PC member of GandALF 2010 (12-17 of june 2010, Minori, Amalfi Coast, Italy).
Former events.
