Courses

University Paris-Saclay

• Programmation Fonctionnelle Avancée (L3) $\cdot$ 2021-2022
• Graphes et Outils Logiques (L2, parcours MPI) $\cdot$ 2019-2020

Polytech Paris-Saclay

• Introduction à l’Informatique (CP, S1) $\cdot$ 2021-2022
• Programmation Impérative (CP, S2) $\cdot$ 2021-2022
• Option Parcours Informatique (CP, S2) $\cdot$ 2021-2022
• Introduction à l’Informatique (CP, S1) $\cdot$ 2020-2021
• Vérification et Validation (CI, S8) $\cdot$ 2020-2021
• Introduction à l’Informatique (CP, S1) $\cdot$ 2019-2020
• Algorithmique (CI, S5) $\cdot$ 2019-2020

Supervision

Internship

• Colin Blake (L3, Licence Double Diplôme Informatique Mathématiques). Co-supervised avec Agustin Borgna. Colin is now a PhD student in the MOCQUA team at Inria Nancy.

Interventions

• “Les métiers de la recherche”, IUT Informatique de Montreuil, Université Paris 8.