Dr Nicola Gambino


AMS MathSciNet (Subscription required)


Research interests

I am a mathematician with research interests in mathematical logic, category theory, and theoretical computer science. Within mathematical logic, I am mainly interested in type 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, Quillen model structures, 2-categories, and the connections between these topics.

Professional memberships

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

Research groups and institutes

  • Pure Mathematics
<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://physicalsciences.leeds.ac.uk/research-opportunities">research opportunities</a> allow you to search for projects and scholarships.</p>