Activités d'Enseignement

à l'UFR d'Informatique de l'Université Paris 6 .

premier cycle
- Responsable du module "Programmation Approfondie (optionnel), DEUG MIAS deuxième année
deuxième cycle
- Travaux dirigés, module "Programmation", maitrise d'informatique.
- Responsable du module Programmation Objet et Distribution (optionnel), maitrise d'informatique.
- Liste des projets d'année
troisième cycle
- Cours langages fonctionnels, DESS Génie des Logiciels Applicatifs (GLA).
- Introduction à ML, DEA Sémantique, Preuves et Programmation (SPP) plaquette en différents formats
- Objets modeles langage persistance, DEA Methodes Informatiques des Systemes Industriels (plaquette MISI) : Module Programmation Objet
- Introduction à la démonstration automatique - DEA de Logique et Fondements de l'Informatique - partie analyse syntaxique et typage en ML