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.