Professor Nicola Gambino


I joined the University of Leeds in 2013. Prior to that, I held postdoctoral fellowships at DPMMS (University of Cambridge), LACIM (Université du Québec à Montréal) and the Centre de Recerca Matemàtica (Barcelona) and lectureships at the University of Leicester and the University of Palermo.


  • Director of Research and Innovation

Research interests

  • Category theory: 2-dimensional category theory, polynomial functors, operads and homotopical algebra.
  • Mathematical logic: categorical logic, type theory (especially Homotopy Type Theory and Univalent Foundations) and constructive set theory.
<h4>Research projects</h4> <p>Any research projects I'm currently working on will be listed below. Our list of all <a href="">research projects</a> allows you to view and search the full list of projects in the faculty.</p>


  • Laurea in Mathematics, University of Padua, 1999
  • PhD in Computer Science, University of Manchester, 2002

Professional memberships

  • London Mathematical Society
  • Association for Symbolic Logic
  • British Logic Colloquium

Student education

I teach modules in Pure Mathematics, sometimes with a computational aspect, and supervise projects at Level 3 and 5 in mathematical logic, category theory, theoretical computer science.

Research groups and institutes

  • Pure Mathematics
  • Logic
  • Algebra

Current postgraduate researchers

<h4>Postgraduate research opportunities</h4> <p>We welcome enquiries from motivated and qualified applicants from all around the world who are interested in PhD study. Our <a href="">research opportunities</a> allow you to search for projects and scholarships.</p>