Dr Nicola Gambino


I graduated in Mathematics at the University of Padua in 1999 and went on to do a PhD in Computer Science at the University of Manchester, under the supervision of Peter Aczel, which I completed in 2002. I then held postdoctoral fellowships at the Department of Pure Mathematics and Mathematical Statistics of the University of Cambridge, the Laboratoire de Combinatoire et Informatique Mathematique of the Université du Québec à Montréal and the Centre de Recerca Matemàtica. After working at the University of Palermo for a few years, I joined the School of Mathematics of the University of Leeds in 2013, where I am a member of the Logic and the Algebra research groups.


  • Director of Research and Innovation

Research interests

I am a pure mathematician with research interests in mathematical logic, category theory, and theoretical computer science. Within mathematical logic, I am mainly interested in dependent type theory and constructive set theory. In recent years, my work has focused on Homotopy Type Theory and Univalent Type Theories. Within category theory, I am interested in polynomial and analytic functors, species of structures, operads, homotopical algebra, 2-categories. 


  • PhD in Computer Science, University of Manchester

Professional memberships

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

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="https://phd.leeds.ac.uk">research opportunities</a> allow you to search for projects and scholarships.</p>