J'aime beaucoup enseigner, et plus généralement parler de mathématiques
et d'informatique -- que ce soit avec avec des étudiant-es de license ou
de master lors de cours / TD / TP, ou avec des étudiant-es de collège ou
de lycées dans des contextes plus informels comme des stages de découverte.
Vous pouvez trouver sur cette page un résumé de mon activité d'enseignement ;
un résumé un peu plus détaillé est disponible dans mon CV.
ATER à l'ENS de Lyon (2024-2026)
Sémantique et vérification
TD niveau M1, ENSL.
Modèles mathématiques des programmes et des systèmes,
propriétés vérifiables, topologie, systèmes de transitions,
logique temporelle linéaire, automates de Büchi, bisumulations,
logique modale, etc.
Fondements de l'informatique
TD niveau L3, ENSL.
Automates finis, langages rationnels, grammaires, langages
algébriques et automates à pile, machines de Turing, calculabilité,
fonctions récursives et récursives primitives, complexité, λ-calcul, etc.
Logique
TD niveau L3, ENSL.
Calcul propositionnel, systèmes de déduction, sémantique,
théorie des modèles, représentation, incomplétude,
théorie des ensembles, etc.
Probabilités
TD niveau L3, ENSL.
Probabilités discrètes, événements, espérance et espérance conditionnelle,
variance, variables aléatoires, probabilités continues, inégalités de Markov,
Chebyshev et Chernoff, graphes aléatoires, méthode probabiliste, loi des grands
nombres, convergences de variables, chaînes de Markov, etc.
Programmation
TP niveau L3, ENSL.
Initiation à C, git et Python ; brève histoire de la programmation.
Projet fonctionnel
TD niveau L3, ENSL.
λ-calcul, β-réduction, types simples, déduction naturelle, Curry-Howard,
preuves, déduction naturelle intuitionniste, polymorphisme, négation, etc.
Théorie de la programmation
TD/TP niveau L3, ENSL.
Inductions, expressions arithmétiques simples, sémantiques à petits pas
et grands pas, typage, sémantiques opérationnelles et dénotationnelle,
coinduction, logique de Floyd-Hoare, logique de séparation, réécriture,
terminaison, confluence, etc. Initiation à Rocq.
Activité d'enseignement durant ma thèse (2021-2024)
Automates finis
TD/TP niveau L2, Aix-Marseille Université. AFD-AFN, déterminisation, minimisation, langages réguliers, etc.
Complexité
TD/TP niveau M1, Aix-Marseille Université. Analyse de complexité, classes P et NP, NP-complétude, mini-projets
de programmation (Python, Java ou C).
Mise en oeuvre informatique
TD/TP niveau L1, Aix-Marseille Université. Programmation simple en Python, notions d'algorithmes et de
représentation des données.
Introduction à l'analyse
Cours/TD niveau L1
(PEIP),
Polytech Marseille.
Applications, quantificateurs, ensembles, bijectivité,
fonctions trigonométriques, limites, continuité, dérivées, primitives, etc.
Stages Hippocampe
Tutrice lors de plusieurs stages de trois jours d'initiation à la recherche
en mathématiques et informatique, pour des élèves niveau collège-lycée.