Past Member
Andrew Polonsky
Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of Study
Computer Science
From
–
Coming from a background in untyped lambda calculus, Andrew Polonsky is interested in all topics of modern type theory. During his stay at the Institute, he intends to work on the computational interpretation of univalence.
Dates at IAS
Member
School of Mathematics
–
Spring
Degrees
University of Bergen
Ph.D.
2011