Je suis maître de conférences à l'Université d'Aix-Marseille. Mes activités de recherches ont lieu dans l'équipe de Modelisation et Vérification du LIF, à Luminy. Pour un historique, voyez mon CV.

Contact :
Laboratoire d’Informatique Fondamentale
Parc Scientifique de Luminy
163 avenue de Luminy - Case 901
F-13288 Marseille Cedex 9, France

E-mail : prénom.nom@lif.univ-mrs.fr

Enseignement

Cette année : responsable d'UE pour Réseaux et communication (L3), Introduction à l'informatique (L1 CUPGE) et Programmation UNIX (L2).

Anciennement : Mise à niveau (L3), Compilation (L3).


Research

My work focuses on questions of logic in structures linked to automata. My thesis was directed by Didier Caucal in the Institut Gaspard Monge and characterized ordered structures in the pushdown / Caucal hierarchy. Since then I have been post-doc in Warsaw University, and then within the LaBRI in Bordeaux.

Publications [bib]

Unpublished

Recent talks