Lectures at Collège de France

  • 2018-2019: Programmer = démontrer? La correspondance de Curry-Howard aujourd'hui.

Graduate courses

I am involved in the MPRI, a research-oriented graduate curriculum in computer science, co-organized by University Paris 7, ENS Paris, ENS Cachan and École Polytechnique.

Summer schools