Me

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.