BERJAYA

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

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.