Teaching

Current course material

• Computational logic (CSC_51051_EP) at École polytechnique
• Sémantique operationnelle et typage at prépa agreg

Older course material

• Categories and λ-calculus at MPRI
• TDs de sup en OCaml

Courses I have been involved in

• Fondements de l’Informatique: logique, modèles, calculs (INF412)
• Programmation d’applications concurrentes et distribuées (INF431)
• Programmation avancée (INF441)