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

Postgraduate research opportunities

We welcome enquiries from motivated and qualified applicants from all around the world who are interested in PhD study. Our research opportunities allow you to search for projects and scholarships.