Enseignement

Activités d'Enseignement

Licence Informatique
- Intervenant dans le module Eléments de programmation (L1)
- 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 (M1-STL)
  - en M2 : stages (M2 STL)
- Conférences M2-STL : programme
Années : 2017-2018, 2016-2017, 2015-2016, 2014-2015,2013-2014,2012/2013, 2011/2012, 2010/2011, 2009/2010, 2008/2009, 2007/2008

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
Co-responsable du parcours STL-INSTA du M2 STL
Formation Permanente en OCaml ( programme) à la formation continue de Paris 6