Enseignement

Activités d'Enseignement

Licence Informatique
- Intervenant dans le module Programmation Fonctionnelle (L2)
- 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 de mise à niveau et Ouverture, supports pour la partie programmation
- Responsable du module Compilation Avancée, supports pour la partie Machines virtuelles (M1 - STL)
- responsable du module Typage et Analyse Statique, supports pour la partie Typage (M2 - STL)
- TPEA partie block chains
- Projets et Stages
  - en M1 : PSTL (M1-STL)
  - en M2 : stages (M2 STL)
- Conférences M2-STL : programme
Années : 2018-2019, 2017-2018, 2016-2017, 2015-2016, 2014-2015,2013-2014,2012/2013, 2011/2012, 2010/2011, 2009/2010, 2008/2009

Autres Activités d'enseignement
Responsable du programme international de la licence d'informatique (PILI)
Co-responsable du parcours STL-INSTA du M2 STL