Professor Nicola Gambino

Profile

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.

Responsibilities

• 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="https://eps.leeds.ac.uk/dir/research-projects">research projects</a> allows you to view and search the full list of projects in the faculty.</p>

• Monoidal bicategories, linear logic and operads
• Syntax and semantics of 2-dimensional type theories

Qualifications

• 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

• Luca Mesiti
• Matteo Spadetto
• Jack Romo
• Andrew Slattery

<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>