Teaching and advising
My current PhD students are Roberto Blanco, Ulysse Gérard, and Quentin Heath. I have supervised a number of PhD and MS students.
I usually supervise internships (M2 "stages") during the spring and summer: available internships are posted here as they become available. One internships are also listed below.
Proof theory for term representations. Supervised by Miller. Claimed by Ulysee Gérard.
I recently have taught a course at the Unviersity of Pisa (April 2014). Other recent graduate course teaching I have done: Universities of Pisa (September 2011), Milan (March 2010), and Ca' Foscari Venezia (April 2009).