Dr Nicola Gambino
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.
- 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.