![[english]](http://www.lif.univ-mrs.fr/assets/img/lang/en.png)
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 !)
Enseignements cette année :
- Co-responsable du Master 2 Recherche Informatique Fondamentale.
- Logiques, automates et aspects formels de la théorie des langages, M2 Informatique, spécialité recherche.
- Programmation, L1 MPCI.
- Automates et Circuits, L1 Télé-enseignement.
- XML, M1 Informatique.
Précédemment
- UE Technologies XML, M1 Informatique.
- UE Méthodes Formelles, M2 Informatique.
- UE Introduction à l'Informatique, L1 Mathématiques-Informatique.
- Ordonnancement Temps-Réel, dans le cadre de l'UE Systèmes Embarqués, M1 Informatique.
- Programmation, L1 MPCI.
- TPs-Projet Prolog dans le cadre de l'UE Logique, L3 Informatique.
Archives des années passées :
Monitorat au département d'informatique de l'ENS de Cachan (2005 -- 2007) :
- Calculabilité (L3)
- Projet Programmation Réseaux en Java (M1)
- Théorie des Langages (L3)
Intervenant en CPGE MPSI au lycée Lakanal à Sceaux (2003 -- 2005) :