Nicola Gambino

Nicola Gambino is a Professor of Pure Mathematics at the University of Manchester, Department of Mathematics. His research interests include mathematical logic, category theory, and theoretical computer science, with recent focus on Homotopy Type Theory and 2-dimensional category theory. He obtained a PhD in Computer Science from the University of Manchester in 2002 under the supervision of Peter Aczel. Following postdoctoral positions at the University of Cambridge and the Université du Québec à Montréal, he held academic roles at the University of Palermo and the University of Leeds before joining the University of Manchester in 2022. His collaborations span a range of researchers in logic and category theory.

Nicola Gambino is a professor in the Department of Mathematics at the University of Manchester, specializing in Category Theory, Mathematical Logic, and Theoretical Computer Science. His research explores foundational aspects of mathematics through the lens of category theory, with a focus on type theory, homotopy theory, and logical frameworks. His work includes investigations into polynomial functors, dependent types, and constructive set theory, as well as the development of models for homotopy type theory and algebraic structures in computer science. Gambino's contributions span both theoretical and applied areas, emphasizing the interplay between logic, category theory, and computational models.