Nicola Gambino


  • Department of Mathematics, University of Manchester, Alan Turing Building, Oxford Road

    M13 9PL Manchester

    United Kingdom

Accepting PhD Students

If you made any changes in Pure these will be visible here soon.

Personal profile


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.


Office hours


My collaborations

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.

Memberships of committees and professional bodies

Association for Symbolic Logic

British Logic Colloquium

London Mathematical Society


Education/Academic qualification

Doctor of Philosophy, PhD in Computer Science, The University of Manchester

1 Jan 20006 Dec 2002

Award Date: 6 Dec 2002

Bachelor of Science, Mathematics, University of Padua

1 Sept 199415 Nov 2015

Award Date: 15 Nov 1999

External positions

Associate Editor, Mathematical Structures in Computer Science

2016 → …

Editor, Applied Categorical Structures

2015 → …

Areas of expertise

  • Q Science (General)
  • Pure Mathematics
  • Theoretical Computer Science


  • Mathematical Logic
  • Category Theory
  • Theoretical Computer Science


Dive into the research topics where Nicola Gambino is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles