Dr Nicola Gambino
- Position: Associate Professor
- Areas of expertise: Mathematical Logic, Category Theory
- Email: N.Gambino@leeds.ac.uk
- Phone: +44(0)113 343 5143
- Location: 9.15 School of Mathematics
- Website: My personal webpage | ArXiv | Googlescholar | Researchgate | ORCID
Profile
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.
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.
Qualifications
- 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