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),
- Fondement du raisonnement et du calcul (en L1),
- Culture et Pratique de l'Informatique (en L1),
- Logique (en L2 et à l'ENSIIE),
- Programmation Fonctionnelle,
- Partenaire Scientifique pour la Classe,
- Enseigner l'informatique (en master MEEF),
- 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é
- De 2012 à 2016, j'ai été co-responsable du Master en apprentissage ILC avec Nicolas Magaud.
- En 2019, j'ai été responsable du DIU "Enseigner l'informatique au lycée".
- Depuis 2020, je suis responsable de la L2 Informatique.
- Depuis 2021 je suis responsable de la Licence Informatique.
