Denotational Semantics Part II (3rd year). Webpages: 2023, 2024.
Proof Assistants Master & Part III (4th year), co-lectured with Thomas Bauereiss. Webpage: 2024.
Hoare Logic and Model Checking Part II (3rd year).
-
Informatique fondamentale 2 (20-21, 21-22) Theoretical computer science, 3rd year CS students.
-
Logique pour l'informatique (21-22) Logic course, 2nd year CS students.
-
Introduction aux systèmes d'information (21-22) Design of information systems, especially databases, 2nd year CS students.
-
Outils de calcul pour les sciences (19-20, 20-21, 21-22) Basic calculus, 1st year mathematics students.
-
Informatique pour BGC (19-20, 20-21) Introduction to computer science, 1st year biology students.
-
Mathématiques pour l’informatique 2 (19-20) Linear algebra, 2nd year CS students.
During my second year of master we taught with Rémy Cerda a weekly, semester-long, category theory seminar/introduction course to fellow students of the ENS de Lyon. Our main source was the book by Steve Awodey.
Under Creative Commons CC0 License, source on github. Built using Pelican. Theme adapted from pelican-svbhack by Giulio Fidente.