en ¦ fr > Teaching

Teaching at the University of Cambridge

Hoare Logic and Model Checking: Part II course (3rd year), supervisions.


Teaching at Université de Nantes

  • Outils de calcul pour les sciences: Same as 2019-2020.

  • Informatique fondamentale 2: Same as 2020-2021.

  • Logique pour l'informatique: Logic course for second year computer science students. TA for Prolog computer sessions.

  • Introduction aux systèmes d'information: Course on the design of information systems, especially databases. TA for computer sessions using a specialized IS design software.


Teaching at Université de Nantes

  • 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.


Teaching at Université de Nantes

  • 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.


Category Theory Seminar

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

Under Creative Commons CC0 License, source on github. Built using Pelican. Theme adapted from pelican-svbhack by Giulio Fidente.