I usually can be found in either one of the following places:
◉ Dipartimento di Informatica, Corso Svizzera 185 - Torino: Office 6, 1st floor ◉ Laboratoire de l'Informatique du Parallélisme, 46 Alleé d'Italie - Lyon: Bureau 365N, 3rd floor
my PhD thesis is about the study of implicit computational complexity through type assignment systems for (variants of) lambda-calculus, in a joint supervision program between Università di Torino (Simona Ronchi Della Rocca) and ENS de Lyon (Patrick Baillot).
Research activities
implicit computational complexity, intersection types, lambda-calculus, linear logic, proof-theory, semantics of programming languages, type-theory.