1. Teaching at Université de Nantes

    September 2020 – June 2021
    • Outils de calcul pour les sciences: Same as 2019-2020.

    • Informatique pour BGC: Same as 2019-2020.

    • Informatique Fondamentale 2: Theoretical computer science for third year computer science students. TA for exercise sessions.

  2. Teaching at Université de Nantes

    September 2019 – June 2020
    • Outils de calcul pour les sciences: Basic calculus for first year mathematics students. Sole teacher.

    • Informatique pour BGC: Introduction to computer science for first year biology students, using javascript. TA for exercise and computer sessions.

    • Mathématiques pour l’informatique 2: Linear algebra for second year computer science students. TA for exercise sessions.

  3. Category Theory Seminar

    September 2018 – January 2019

    During my second year of master we taught with Rémy Cerda a weekly, semester-long, category theory seminar/introduction course. It was designed for fellow mathematics and computer science students of the ENS de Lyon, as this topic was not taught as such, although it was necessary for a significant portion of master courses.

    Our main source was the book by Steve Awodey, and we covered most basic categorical concepts.

    We are still working on the course notes, hoping to one day turn them into a full-fledged book on the subject in French.

    Pdf