Dr Nicola Gambino

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.

Responsibilities

• Director of Research and Innovation

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
• Logic
• Algebra

Current postgraduate researchers

• Matteo Spadetto
• Jack Romo