Me contacter
| Bureau | 6A23 au 175 rue du Chevaleret, 75013 Paris |
| Mel | prenom.nom@liafa.jussieu.fr |
| Tel. | +33 (0) 1 57 27 92 29 |
| Fax | +33 (0) 1 57 27 94 09 |
Adresse postale
| Laboratoire Liafa, |
| Université Paris Diderot - Paris 7 |
| Case 7014 |
| F-75205 Paris Cedex 13 |
| France |
Informations générales
Je suis chargé de recherche (CR1) au Cnrs et je travaille au sein de l'équipe automates et applications au Liafa (Paris, France).
Mon thème de recherche principal est la théorie des automates et ses liens avec la logique. Entre autres:
- les automates sur les arbres finis, cheminants, à jetons,
- les automates sur les mots infinis, la logique monadique et ses extensions,
- les automates sur les arbres infinis, la logique monadique et ses extensions,
- la théorie des jeux appliquée à la logique.
Enseignement
Je participe avec Christian Choffrut, Jacques Sakarovitch a l'enseignement du module intitulé modélisation par automates finis du MPRI.
Évènements
- STACS 2012 (29 février-3 mars, Paris).
