Dr Nicola Gambino

Reader in Pure Mathematics

Full contact details
View graph of relations

Biography

I obtained a Laurea in Mathematics from the University of Padua in 1999  under the supervision of Silvio Valentini and a PhD in Computer Science from the University of Manchester in 2002 under the supervision of Peter Aczel.

After postdoctoral positions at the University of Cambridge, under the mentorship of Martin Hyland, and at the Université du Québec à Montréal, under the mentorship of André Joyal, I held positions at the University of Palermo (2008-2013) and the University of Leeds (2013-2022). I joined the University of Manchester in September 2022.

My research interests are in mathematical logic, category theory, and theoretical computer science. In recent years, my work has focused on Homotopy Type Theory and 2-dimensional category theory.

 

Memberships of committees and professional bodies

Association for Symbolic Logic

British Logic Colloquium

London Mathematical Society

 

External positions

Associate Editor, Mathematical Structures in Computer Science

2016 → …

Editor, Applied Categorical Structures

2015 → …

Areas of expertise

Keywords

  • Mathematical Logic, Category Theory, Theoretical Computer Science

Education / academic qualifications

  • 2002 - Doctor of Philosophy, PhD in Computer Science, The University of Manchester (2000 - 2002)
  • 1999 - Bachelor of Science, Mathematics, University of Padua (1994 - 2015)

Related information

Publications

Research output: Contribution to journalArticlepeer-review

Research output: Contribution to journalArticlepeer-review

Research output: Book/ReportBookpeer-review

View all (19)