Nicola GambinoView profile
Associate Professor
Nicola Gambino is a Reader in Pure Mathematics at The University of Manchester, having joined in 2022. Previously, he held positions at the University of Palermo (2008-2013) and the University of Leeds (2013-2022). He obtained his PhD in Computer Science from the University of Manchester in 2002 under Peter Aczel, followed by postdoctoral roles at the University of Cambridge (Martin Hyland) and Université du Québec à Montréal (André Joyal). His research focuses on mathematical logic, category theory, and theoretical computer science, with recent emphasis on Homotopy Type Theory and 2-dimensional category theory. He serves on editorial boards for Mathematical Structures in Computer Science (since 2016) and Applied Categorical Structures (since 2015). Professional memberships include the Association for Symbolic Logic, British Logic Colloquium, and London Mathematical Society. His work spans foundational topics like categorical logic, homotopy type theory, and algebraic structures. Notable collaborations include projects on fibrations, pseudomonads, and presheaf models. Office hours are held weekly on Wednesdays 2–3pm.







