Teaching

In my role as maître de conférences at the UFR informatique of Université Paris Cité, I teach students at various levels. I am also the academic advisor for international students in computer science and member of the IRIF committee on equality.

I am teaching the following courses in the academic year 2022-2023:

• Mathématiques discrètes. On sets, graphs, probability, and proofs.

• Logique. On propositional and first-order logic, sequent calculus, and models, with implementations in OCaml.

• Profinite monoids, automata, and logic. A graduate-level introduction to this vibrant research field.

• Préparation à l’agrégation d’informatique. On object-oriented programming, data structures, and algorithms.

• Initiation à la programmation 1. A first course on programming in Python.