Teaching
2024-2025
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)
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.