Professeur, Université d'Aix-Marseille, Département Informatique et Interactions

Chercheur au LIS

Responsable de l'équipe Modélisation et Vérification (MoVe) du LIS

Responsable du Parcours Informatique et Mathématiques Discrètes du Master Informatique.

Co-responsable (avec Nathalie Bertrand) du groupe de travail Vérification du GDR-IM du CNRS

Contact :

Laboratoire d’Informatique et Systèmes
Parc Scientifique de Luminy
163 avenue de Luminy - Case 901
F-13288 Marseille Cedex 9, France

Office : A208 (bibilothèque universitaire, 2ème étage)
Phone : +33 (0)4 86 09 06 73
Fax : +33 (0)4 86 09 ?? ??

E-mail : prénom.nom@lis-lab.fr (Nouveau !)