Nicola Gambino

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