Research output per year
Research output per year
Department of Mathematics, University of Manchester, Alan Turing Building, Oxford Road
M13 9PL Manchester
United Kingdom
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.
Wednesday 10:00-11:00am
My collaborators: Peter Aczel, Steve Awodey, Marcelo Fiore, Thomas Fiore, Richard Garner, Simon Henry, Martin Hyland, André Joyal, Joachim Kock, Peter Le Fanu Lumsdaine, Gabriele Lobbia, Christian Sattler, Karol Szumiło, Kristina Sojakova, Christina Vasilakopoulou, Michael Warren.
Association for Symbolic Logic
British Logic Colloquium
London Mathematical Society
Doctor of Philosophy, PhD in Computer Science, The University of Manchester
1 Jan 2000 → 6 Dec 2002
Award Date: 6 Dec 2002
Bachelor of Science, Mathematics, University of Padua
1 Sep 1994 → 15 Nov 2015
Award Date: 15 Nov 1999
Associate Editor, Mathematical Structures in Computer Science
2016 → …
Editor, Applied Categorical Structures
2015 → …
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Book/Report › Book › peer-review
Research output: Contribution to journal › Article › peer-review