Teaching and advising
My current PhD student are Matteo Manighetti and Emily Grienenberger
(jointly supervised with Gilles Dowek). I have supervised a number
of PhD and MS students.
I regularly lecture
(Master Parisien de Recherche en Informatique) in the Course
linéaire et paradigmes logiques du calcul.
See my web page for my Fall 2020 lectures.
In the past, I have taught a course at the
Unviersities of Pisa (April 2014
and September 2011),
Milan (March 2010), and
Ca' Foscari Venezia (April 2009).