Teaching
2021-2022
Algorithmics: "Travaux Dirigés" (tutorial classes), with ENS Rennes students (first year of school / "L3" level). Main teacher is François Schwarzentruber.
"Agregation": Correction of students' mock exams, representing thousands of pages.
2020-2021
Algorithmics: same as above.
2019-2020
Algorithmics: same as above but main teacher was Lilian Besson.
Calculability: Practical classes, with "L2" students from ISTIC. Main teacher was Gilles Lesventes. This course offers an initiation to calculablity theory. The students discover the limitations of computing.
Software engeneering: Practical classes, with "L2" students from ISTIC. Main teacher was (Thomas Genet. In this course, the students learn how to develop an application in group, discovering a version manager (Git), and methods such as TDD (Test-Driven Development). They also discover a new language, Scala.
2018-2019
Calculability: same as above.
Software engeneering: same as above.
2017-2018
Software engeneering: same as above but we used Subversion instead of Git.
Before
With Benjamin Fasquelle, we lead unplugged activities on computer science in primary school. Our work is available here (in french).