Nicola Gambino

I obtained 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.

TBC

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