Proof theory for modal and non-classical logics Project course for the Master of Logic, ILLC, University of Amsterdam, June 2023. Course webpage here.

Inleiding wiskundige logica (Introduction to Mathematical Logic) Introductory logic course (14h) for first year bachelor students in Mathematics. Faculty of Science, University of Amsterdam, February - June 2023.

Labelled sequent calculi   Course at the 4th International Autumn School on Proof Theory (November 2022).
Slides: 1st lecture, 2nd lecture, annotated, 3rd lecture.

Proof theory   Introductory course at Midlands Graduate School, co-lectured with Gianluca Curzi (April 2022).
Course webpage here.

Algorithms and Complexity Teaching assistant (grading), for third year Bachelor students in Computer Science, School of Computer Science, University of Birmingham, February - May 2022.
Course coordinators: Rajesh Chitnis and Anupam Das.

Logique 2 Logic couse (26 hours CM) for second year Bachelor students in Philosophy. Université Paris 1 Panthéon-Sorbonne, UFR Philosohie, January - June 2020.
Subject: models for first order logic, natural deduction, introduction to modal logic.

Programmation 1 Exercise session (18 hours TD + 24 hours TP) for first year Bachelor students in Computer Science. Département d'Informatique et Interactions, Aix-Marseille Université, January - June 2019.
Course coordinator: Julien Lefevre.
Subject: introduction to object-oriented programming and development of several (small) projects in Java.

Introduction à l’informatique Exercise sessions (44 hours TD) for first year Bachelor students in computer science. Département d'Informatique et Interactions, Aix-Marseille Université, September - December 2018.
Département d'Informatique et Interactions, Aix-Marseille Université, September - December 2018. Course coordinator: Benjamin Monmenge and Antonio Enrico Porreca.
Subject: binary code, data structures (trees, graphs), algorithms on trees and graphs and finite automata.
Webpage here.

Des jeux, des mathématiques et quelques danses (12 hours), Stage Hyppocampe IREM (scientific stage for high-school students). Under the supervision of Olivier Ramaré. Aix-Marseille Université, 03-05 December 2018. Webpage here.

Projet Algorithmique Exercise session (12 hours TD + 44 hours TP) for second year Bachelor students in Computer Science. Département d'Informatique et Interactions, Aix-Marseille Université, January - June 2018.
Résponsable du cours: Laurent Tichit.
Subject: writing a program to represent fractals in C programming langugage.

Reconnaissance de formes (12 hours), Stage Hyppocampe IREM (scientific stage for high-school students). Under the supervision of Jean Sequeira. Aix-Marseille Université, 13-15 December 2017. Webpage here.