Teaching, dissemination
Since the academic year 2020-2021, I am Adjunct Professor at École polytechnique. I use their Moodle server to store all information concerning my classes. Please click on the course code to follow the links (you need to log in to Moodle to see the course material).
Year 2024-2025
- CSE 103 Introduction to Algorithms (Bachelor 1ère année, École polytechnique), CM et TD.
- CSE 304 Complexity (Bachelor 3ème année, École polytechnique), TD.
Year 2023-2024
- CSE 103 Introduction to Algorithms (Bachelor 1ère année, École polytechnique), CM et TD.
- CSE 304 Complexity (Bachelor 3ème année, École polytechnique), TD.
Year 2022-2023
- CSE 103 Introduction to Algorithms (Bachelor 1ère année, École polytechnique), CM et TD.
- CSE 304 Complexity (Bachelor 3ème année, École polytechnique), TD.
- FoPSS 2023. Course on Differentiable Programming.
Year 2021-2022
- CSE 103 Introduction to Algorithms (Bachelor 1ère année, École polytechnique), CM et TD.
- CSE 304 Complexity (Bachelor 3ème année, École polytechnique), TD.
- INF 371 Mécanismes de la programmation orientée-objet (cycle ingénieur 1ère année, École polytechnique), TD.
- Linear Logic Winter School (part of the thematic month Logic and Interactions at CIRM).
- Slides of my talk on "heterodox" exponential modalities in linear logic.
Year 2020-2021
- CSE 103 Introduction to Algorithms (Bachelor 1ère année, École polytechnique), CM et TD.
- INF 371 Mécanismes de la programmation orientée objet (cycle ingénieur 1ère année, École polytechnique), TD.
- IP1-Python: introduction à la programmation (L1 informatique, Université de Paris), CM/TD groupe MIASHS-ECO2.
Year 2019-2020
- Théorie des catégories (L3 Maths et double licence Maths-Info, Paris 13), séminaire étudiant (CM et TD)
Year 2017-2018
- Preuves et programmes (M2 Logique mathématique et fondements de l'informatique, Paris 7), CM et TD (avec Michele Pagani)
Year 2016-2017
-
Winter school on linear logic (in the context of the LL2016 meeting in Lyon)
- Slides of my class introducing the exponential connectives of linear logic.
- Preuves et programmes (M2 Logique mathématique et fondements de l'informatique, Paris 7), CM et TD (avec Michele Pagani)
- Calculs de processus (M2 Programmation et logiciel sûr, Paris 13), CM et TD
- Théorie de la démonstration (M1 Informatique, Paris 13), CM et TD
- Programmation fonctionnelle (M1 Informatique, Paris 13), TD
Year 2015-2016
- Calculs de processus (M2 Programmation et logiciel sûr, Paris 13), CM et TD
- Théorie de la démonstration (M1 Informatique, Paris 13), CM et TD
Year 2013-2014
Year 2012-2013
Year 2011-2012
- Théorie de la démonstration (M2 LMFI, Paris 7), CM et TD (avec Claudia Faggian)
Year 2010-2011
- Théorie de la démonstration (M2 LMFI, Paris 7), CM et TD (avec Claudia Faggian)
Year 2006-2007
- Maths discrètes (S1, IUT Villetaneuse), TD
Year 2005-2006
- Géométrie et infographie (L1 Maths et Info, Aix-Marseille 2), TD
- Introduction à la programmation (L1 Info, Aix-Marseille 2), TP
Year 2004-2005
- Géométrie et infographie (L1 Maths et Info, Aix-Marseille 2), TD
- Introduction à la programmation (L1 Info, Aix-Marseille 2), TP
Year 2003-2004
- Introduction à l'informatique (L1 MIASS, Aix-Marseille 2), TP
- Algorithmes et structures de données (L1 Info, Aix-Marseille 2), TP
Talks to the general public
I was invited to give the following talks for non-scientific audiences (in French):
