Teaching

2025-2026

Python and object-oriented programming, lectures and exercises as part of the preparation francilienne for the agrégation informatique.

Initiation to Research Workshop, M1 informatique.

Logic, lectures, L3 maths / informatique.

Formal Languages, lectures, L3 maths / informatique.

Contact person for ARPE in informatique.

2024-2025

• Python and object-oriented programming, lectures and exercises as part of the preparation for the agrégation informatique (Sorbonne Université).
• Introduction to deep learning, lectures and labs, Computer Science Master's (Université Paris Cité).
• Duality theory and categorical logic, lectures, Master's in Logic and Foundations of Computer Science (Université Paris Cité).

2023-2024

Sabbatical year (research).
• Supervision of Master's thesis of Artur Szafarczyk; Master's research internship of Clotilde Bizière; Bachelor's research internship of Yago Iglesias Vazquez.

2022-2023

• Mathématiques discrètes. Sets, proofs, graphs, and probability. Undergraduate.
• Logique. Propositional and first-order logic, sequent calculus, semantics, satisfiability solving, with implementation projects. Undergraduate.
• Profinite monoids, automata, and logic. A graduate-level introduction to the research field. Lecture notes.
• Python and object-oriented programming, lectures and exercises as part of the preparation for the agrégation informatique (Sorbonne Université).
• Initiation à la programmation 1 (Python). A first programming course for undergraduates.

2021-2022

• Supervision of Master's thesis of Anatole Leterrier.
• Fall 2021: Automata, monoids and logic, lectures and exercises as part of a course on Models of Computation and Automata, 2nd year Master's (MPRI).
• Fall 2021: Advanced Python programming, lectures and exercises as part of the preparation for the agrégation informatique (Sorbonne Université), 2nd year Master's.
• Fall 2021: Discrete Mathematics, lectures and exercises, 3rd year undergraduate.
• Fall 2021: Logic, exercises, 3rd year undergraduate.
• Fall 2021: Programming 1 (Python), lectures, exercises and labs, 1st year undergraduate.
• Fall 2021: Programming 1 (Java), lectures, exercises and labs, 1st year undergraduate.

2020-2021

• Supervision of Master's theses of Vincent Moreau and Rémi Morvan (MPRI).
• Fall 2020: Object-oriented programming and graphical interfaces (Java), labs, 2nd year undergraduate.
• Fall 2020: Programming 1 (Python), lectures, exercises and labs, 1st year undergraduate.
• Fall 2020: Logic, exercises, 3rd year undergraduate.
• Fall 2020: Automata and profiniteness, lectures and exercises as part of a course on Models of Computation and Automata, 2nd year Master's (MPRI).

2019-2020 (U. Paris Cité)

• Supervision of the Master's thesis of Corto Mascle (MPRI).
• Supervision of the Master's thesis of Thomas Randriamahazaka (LMFI).
• Supervision of the Bachelor's thesis of Clément Chivet.
• Spring 2020: Programming 2 (Java), exercises and labs, 1st year undergraduate.
• Fall 2019: Programming 1 (Python), lectures, exercises and labs, 1st year undergraduate.
• Fall 2019: Logic, exercises, 3rd year undergraduate.

2018-2019 (Amsterdam/Utrecht)

• Spring 2019: Logic and Computation, Master's course, Utrecht University:
• Lecture slides on automata and monadic second order logic.
• Lecture slides on Turing machines, P and NP, and existential second order logic.
• Fall 2018: Basiswiskunde, Undergraduate Course, Instructor, University of Amsterdam.
• Winter 2018: Duality in Logic and Computer Science, Graduate course, Organizer and instructor, University of Amsterdam.

2017-2018 (City College of New York)

• Summer 2017: Math 201: Calculus I.

2016-2017 (City College of New York)

• Spring 2017: Math 346: Elements of Linear Algebra.
• Fall 2016: Math 308: Bridge to Advanced Mathematics.

2014 and before

• Fall 2014: Reading seminar on Mathematical Logic, organized together with Denisa Diaconescu, Universität Bern.
• Fall 2014: Topology, teaching assistant, 3rd year B. Sc. / 1st year M. Sc. Mathematics course taught by Alain Jeanneret, Universität Bern.
• Spring 2014: guest lecturer on completeness proofs in logic via duality, Mai Gehrke's course on Duality and Domains, M2 LMFI, Université Paris Diderot.
• 2011: co-supervision of final Bachelor thesis project of two B. Sc. students.
• Fall 2011: Topologie, teaching assistant, 3rd year B. Sc. Mathematics course taught by Michael Mueger, Radboud Universiteit Nijmegen.
• Spring 2011: Universal Algebra, teaching assistant and guest lecturer, M.Sc. Mathematics course, taught by Mai Gehrke, Radboud Universiteit Nijmegen.
• Fall 2010: Topologie, teaching assistant, 3rd year B. Sc. Mathematics course taught by Michael Mueger, Radboud Universiteit Nijmegen.
• Fall 2009: Inleiding Logica, teaching assistant, B. Sc. Mathematics course taught by Yde Venema, Universiteit van Amsterdam.
• Fall 2009: Basiswiskunde, teaching assistant, first year B. Sc. Mathematics course, Universiteit van Amsterdam.
• Fall 2009: Methoden & Technieken voor Beta-Gamma, practicum, first year course in interdisciplinary Beta-Gamma Bachelor, Universiteit van Amsterdam.
• Spring 2009: Continue Wiskunde & Kansrekening en Statistiek voor Informatica, teaching assistant, 2nd year course in B. Sc. Computer Science, Universiteit van Amsterdam.
• Fall 2008: Basiswiskunde, teaching assistant, first year B. Sc. Mathematics course, Universiteit van Amsterdam.