Depuis le début de nos Masters LMD, et jusqu'à l'année
universitaire 2013/2014, j'étais responsable, au premier semestre, de deux modules : le module
"Algorithmique Avancée et Complexité" du
Master 1ère année RSD/IL
(Réseaux et Systèmes Distribués/Ingénierie du Logiciel) ;
et le module "Programmation par Contraintes" du
Master 2ème année SII
(Systèmes Informatiques Intelligents).
J'assurais, pour chacun des deux modules, le cours, les TD (Travaux
Dirigés) et les TP (Travaux Pratiques).
L'année universitaire 2014/2015, j'ai décidé de me consacrer à un seul des deux modules
pour lequel j'assure le cours, les TD et les TP. Le module que j'ai gardé est celui le plus proche de mes
préoccupations recherche, à savoir "Programmation par contraintes" :
Au deuxième semestre, je suis responsable en 1ère année MI (Mathématiques-Informatique), pour une des nombreuses sections de ce tronc commun, du module PRF (Programmation Fonctionnelle) :
Quand le besoin se fait sentir, j'assure d'autres enseignements, essentiellement des TD de modules tels que "Vérification Formelle" (module de Master 1) et "Algorithmique Avancée et Complexité".
Depuis l'année universitaire 2018/19, j'assure des TD du module Logique de Licence 2 :