Imag, Modèles de calculs
Tutorials for L3 students.
This page lists my teaching activities, as well as some of the associated material that I helped created. The language of these documents depends of the course and its students (mainly English and French).
2022–2025HideLink
Polytech, Langages et Traducteurs, Programmation Fonctionnelle
Tutorials for M1 students.
2021HideLink
Ensimag, Projet génie logiciel
Project for second-year students (M1). Course reference : 4MMPGL6.
Ensimag, Théorie des langages 2
Tutorials for first-year students (L3). Course reference : 3MMTL2.
Imag, Modèles de calculs
Tutorials for L3 students. Course reference: GBIN6U02 MCAL.
2018, 2019HideLink
Imperial College London, Separation Logic
Tutorials for M1 students. Course reference: CO404.
Imperial College London, Models of Computation
Tutorials for L2 students. Course reference: CO240.
2017HideLink
Universidad de Chile, Introducción a Coq: Lógica, Tipos y Verificación
Courses and tutorials for M2 students. Course reference: CC7125/MA7125.
2013, 2014HideLink
ENS Cachan Bretagne, Software design and verification
Tutorials for M1 students.
ENS Cachan Bretagne, Langages formels
Tutorials for L3 students.
Université Rennes 1, Introduction à la programmation fonctionnelle
Courses and tutorials for L1 students.
2012HideLink
Insa Rennes, Introduction à Scheme
Courses and tutorials for L1 students.