Dr Nicola Gambino
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.
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.
- PhD in Computer Science, University of Manchester
- London Mathematical Society
- Association for Symbolic Logic
- British Logic Colloquium
Research groups and institutes
- Pure Mathematics