I obtained a Laurea in Mathematics from the University of Padua in 1999 under the supervision of Silvio Valentini and a PhD in Computer Science from the University of Manchester in 2002 under the supervision of Peter Aczel.
After postdoctoral positions at the University of Cambridge, under the mentorship of Martin Hyland, and at the Université du Québec à Montréal, under the mentorship of André Joyal, I held positions at the University of Palermo (2008-2013) and the University of Leeds (2013-2022). I joined the University of Manchester in September 2022.
My research interests are in mathematical logic, category theory, and theoretical computer science. In recent years, my work has focused on Homotopy Type Theory and 2-dimensional category theory.