Past Member
Nicola Gambino
Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of Study
Mathematical Logic and Theoretical Computer Science
Website
From
–
Nicola Gambino’s research focuses on mathematical logic and theoretical computer science. At the Institute, he plans to investigate further the connections between type theory and homotopy theory that have emerged in recent years, especially in connection with Vladimir Voevodsky’s univalent foundations program.
Dates at IAS
Member
School of Mathematics
–
Fall
Degrees
University of Manchester
Ph.D.
2002
University of Padua
M.Sc.
1999