Teaching and advising

• My current PhD students are Farah Al Wardani and Jui-Hsuan Wu. I have graduated a number of PhD and MS students.

• I regularly lecture at MPRI (Master Parisien de Recherche en Informatique) in the Course 2-1: Logique linéaire et paradigmes logiques du calcul. See my web page for my Fall 2021 lectures.

• In the past, I have taught courses at the Universities of Pisa (April 2014 and September 2011), Milan (March 2010), and Ca' Foscari Venezia (April 2009).