DEA

• 2002 : Intervention de 3h dans le D.E.A. d'informatique de l'Université de Nice-Sophia Antipolis
  Titre : Réflexivité dans les langages fonctionnels
  Effectif : 15
  Statut : vacataire
  Ces cours présentent aux étudiants de DEA les principaux aspects de la réflexivité dans les langages fonctionnels (Ils s'appuient sur les chapitres 4 et 5 de ma thèse).

• 2001 : Intervention de 3h dans le D.E.A. d'informatique de l'Université de Nice-Sophia Antipolis
  Titre : Réflexivité dans les langages fonctionnels
  Effectif : 15
  Statut : vacataire

• 1998 : Intervention de 3h dans le D.E.A. d'informatique de l'Université de Nice-Sophia Antipolis
  Titre : Réflexivité dans les langages fonctionnels
  Effectif : 15
  Statut : vacataire