border=
  Enseignement


  Niveau L dont:
      - le L1,
      - le L2,
      - le L3.


  Niveau M dont:
      - le M1,
      - le M2,
      - l'agrégation de mathématiques.


  Encadrement doctoral:
      - Mekki Houbad, thèse en 2010;
      - Aurélien Klak (codirection avec F. Castella), thèse en 2011;
      - Adrien Fontaine, thèse en 2017.


Diffusion des mathématiques : un exposé sur le thème « La preuve en mathématiques : construction et vérification »
dans le cadre de la semaine de la recherche (UBO, février 2020)