1. Enseignement à l’Université

    septembre 2019 – juin 2020
    Outils de calcul pour les sciences :

    Cours de premier semestre de L1, bases de calcul : trigonométrie, résolution d’équations, dérivation et intégration… Format cours-TD.

    Informatique pour BGC :

    Introduction à l’informatique pour des L1 de Biologie, Géologie, Chimie. Chargé de TD et de TP.

    Mathématiques pour l’informatique 2 :

    Cours d’algèbre linéaire en L2 informatique. Chargé de TD.

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

    septembre 2018 – janvier 2019

    Pendant ma deuxième année de master, avec mon camarade 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, le sujet n’étant pas enseigné à l’ENS de Lyon, 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 : foncteurs, propriétés universelles, limites, adjoints, monades, le lemme de Yoneda…

    Pdf