Me

Enseignement

Depuis quelques années mes cours ne sont plus disponibles sur cette page mais sur moodle.unistra.fr.
J'enseigne ou j'ai enseigné :
  • Algorithmique et Programmation 1 et 2 (en L1),
  • Culture et Pratique de l'Informatique (en L1),
  • Logique (en L2 et à l'ENSIIE),
  • Programmation Fonctionnelle,
  • Projet de programmation (en M1),
  • Ingénierie de la preuve (en M1),
  • Certification du logiciel et tests (en M2),
  • Constructions et preuves en géométrie (en M2),
  • Techniques de programmation (en L2),
  • Modèles de calculs (en L1-L2),
  • Projet de compilation (en M1),
  • ...

Responsabilité

Depuis 2012, je suis co-responsable du Master en apprentissage ILC avec Nicolas Magaud.