Contact

Office	6A23 at 175 rue du Chevaleret, 75013 Paris
Mail	firstname.lastname@liafa.jussieu.fr
Tel.	+33 (0) 1 57 27 92 29
Fax	+33 (0) 1 57 27 94 09

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.

Events

• STACS 2012 (February 29-March 3, Paris).

Former events.