J'ai enseigné les mathématiques, la logique et l'informatique
à des occasions et devant des publics variés,
et partager ces sujets avec étudiants et étudiantes de tous niveaux
me passionne.
Plus récemment, au cours de l'année universitaire 2022-2023, j'ai enseigné la théorie de Galois (printemps) et Lattices and Completions (automne) à l'Université de Berne.
Anciens étudiants et étudiantes MSc : Vincent Jaquet-Chiffelle (Thèse : "Poset Products of Nilpotent Minimum Algebras", Été 2022), Stéphane Desarzens (Thèse : "One-Variable Unification in K", Été 2023, co-encadré avec George Metcalfe).