Enseignement

Activités d'Enseignement

Licence Informatique
- Responsable du module Modèles de programmation et interopérabilité des langages (L3)
- Intervenant dans le module Compilation (L3)
Master Informatique spécialité STL (Science et Technologie du Logiciel)
- Intervenant dans le module Programmation Concurrente, Réactive et Répartie (M1 - STL)
- Responsable du module Compilation Avancée (M1 - STL)
- Responsable du module Typage et Analyse Statique (M2 - STL)
- Projets et Stages
  - en M1 : PSTL
  - en M2 : (à venir)
- Conférences M2-STL : programme
Années : 2014-2015,2013-2014,2012/2013, 2011/2012, 2010/2011, 2009/2010, 2008/2009, 2007/2008, 2006/2007, 2005/2006, 2004/2005

Autres Activités d'enseignement
Responsable du programme international de la licence d'informatique (PILI)
Co-responsable de la spéliatié STL du master d'informatique
Responsable du parcours STL-INSTA du M2 STL
Formation Permanente en OCaml ( programme) à la formation continue de Paris 6