Responsabilités
- 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".
- De 2020 à 2024, j'ai été responsable de la L2 Informatique à l'Université de Strasbourg.
- De 2021 à 2024, j'ai été responsable de la mention Licence Informatique à l'Université de Strasbourg.
- De 2020 à 2024, j'ai été élu au conseil d'UFR Mathématique et Informatique, à l'Université de Strasbourg.
- Depuis septembre 2024, je suis responsable de la licence 2 Informatique à l'Université Paris Cité.
Enseignement
Depuis quelques années mes cours ne sont plus disponibles sur cette page mais sur moodle.unistra.fr ou moodle.u-paris.fr
J'enseigne ou j'ai enseigné :
- Conduite de projet (en L2 Université Paris Cité)
- Projet programmation fonctionnelle (en L3 Université Paris Cité)
- 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 Strasbourg, L3 Paris Cité et à l'ENSIIE),
- Programmation Fonctionnelle,
- Partenaire Scientifique pour la Classe,
- Enseigner l'informatique (en master MEEF Maths),
- Projet professionnalisant (en M1),
- Ingénierie de la preuve (en M1),
- Certification du logiciel et tests (en M2 et à Bakou),
- Constructions et preuves en géométrie (en M2 et à Belgrade),
- Techniques de programmation (en L2),
- Modèles de calculs (en L1-L2),
- Projet de compilation (en M1),
- Architecture (à l'IUT Orsay),
- Mission en entreprise (en M1),
- Projet de recherche et documentation scientifique (en M1),
- Paradigmes de programmation, types abstraits (en DIU EIL),
- ...
Utilisation des assistants de preuve pour l'enseignement
Depuis quelques années, je m'intéresse à l'utilisation des assistants de preuve pour l'enseignement.
- En 2005, j'ai animé un atelier Toward the use of a proof assistant to teach mathematics, à la conférence Seventh International Conference on Technology in Mathematics Teaching (papier).
- Pendant ma thèse, j'ai développé un prototype GeoProof.
- En 2017, j'ai été invité à faire un exposé au séminaire de l'équipe Dema à l'Université de Montpellier.
- En 2018, j'ai donné l'exposé invité à la conférence ThEdu'18 à Oxford.
- En 2018, j'ai fait un exposé sur ce thème à destination des enseignants du secondaire à l'IREM Strasbourg.
- En 2020, j'ai co-animé avec Viviane Durand-Guerrier une formation continue à Toulouse (exposé)
- En 2021, j'ai participé à une table ronde au workshop Lean Together .
- En 2023, j'ai fait un exposé Underlying theories of proof assistants and potential impact on the teaching and learning of proof à Thedu'23.
- En 2023, j'ai organisé l'école thématique PAT 2023.
- Je participe à un groupe de travail du GDR Demips: "Didactique et Épistémologie des Mathématiques, liens avec l’Informatique et la Physique, dans le Supérieur".
Dans ce cadre, avec Iro Bartzia, Antoine Meyer et Emmanuel Beffara nous avons écrit des articles:
- Evmorfia Bartzia, Antoine Meyer, Julien Narboux. Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis. INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics, Reinhard Hochmuth, Oct 2022, Hanovre, Germany hal-03648357v2
- Version longue: Evmorfia-Iro Bartzia, Emmanuel Beffara, Antoine Meyer, Julien Narboux. Proof assistants for undergraduate mathematics education: elements of an a priori analysis. 2023 hal-04087080
- Avec Pierre Guillot, nous avons monté l'UE Fondements du calcul et du raisonnement, dans laquelle nous expérimentons l'utilisation de l'assistant de preuve Edukera. Cette expérience (et d'autres) a été décrite dans un article de la gazette des mathématiques.
- Depuis septembre 2023, je co-encadre avec Laure Gonnord, la thèse de Frédéric Tran Minh sur ce thème.
- Depuis début 2024, je participe au projet ANR APPAM. J'encadre Iro Bartzia et Pierre Boutry, nous avons commencé des expérimentations en utilisant Deaduction (Frédéric Le Roux) et LeanVerbose (Patrick Massot).
- En 2024, j'organise Thedu'24.
- En Avril 2024, j'anime un atelier aux Rencontres Doctorales Lebesgue à Angers.
Groupe IREM
Avec Basile Sauvage, nous avons fondé le groupe IREM Informatique.
Formation des enseignants
- J'ai été responsable du DIU Enseigner l'informatique au Lycée.
- J'ai proposé un cours en M2 MEEF Maths sur l'informatique branchée et débranchée (2016-2022).
- J'ai animé des ateliers d'Informatique Debranchée et branchée avec des professeurs des écoles à l'ESPE de Strasbourg en 2018.
- En collaboration avec les maitres formateurs, les conseillers pédagogiques Science et TICE, les membres de l'IREM, je participe à des formations pour des professeurs des écoles, ou des enseignants du secondaire via La Maison pour les Sciences en Alsace.
- En collaboration avec l'inspection, je participe à la construction de l'offre de formation continue des enseignants NSI en Alsace.