1. Enseignement à l’Université de Nantes

    septembre 2020 – juin 2021
    • Outils de calcul pour les sciences: Similaire à 2019-2020.

    • Informatique pour BGC: Similaire à 2019-2020.

    • Informatique Fondamentale 2: Informatique théorique en L3 informatique. Chargé de TD.

  2. Enseignement à l’Université de Nantes

    septembre 2019 – juin 2020
    • Outils de calcul pour les sciences : Bases de calcul pour L1 Mathématiques, Informatique, Physique-Chimie. Format cours-TD.

    • Informatique pour BGC : Introduction à l’informatique en L1 Biologie, Géologie, Chimie. Chargé de TD et de TP.

    • Mathématiques pour l’informatique 2 : Algèbre linéaire en L2 informatique. Chargé de TD.

  3. Séminaire de théorie des catégories

    septembre 2018 – janvier 2019

    Durant mon M2 avec Rémy Cerda nous avons organisé et donné un séminaire/cours d’introduction à la théorie des catégories. Il était destiné à nos camarades de mathématique et d’informatique de l’ENS Lyon, le sujet n’y étant pas enseigné, tout en étant nécessaire pour une portion significative des cours de master.

    Notre référence principale était le livre de Steve Awodey, et nous avons couvert la majorité des sujets catégoriques basiques à raison d’un cours de 2h par semaine pendant tout le semestre, préparé en alternance par Rémy et moi.

    Nous travaillons toujours sur les notes de cours, dans l’idée d’en faire à terme un livre d’introduction au sujet en français.

    Pdf