Past Member
Peter Henry Aczel
Funding provided by the Fund for Mathematics
Affiliation
Mathematics
Field of Study
Mathematical Logic
Home Institution
The University of Manchester
From
-
Peter Aczel has worked in mathematical logic, motivated by an interest in the foundations of mathematics. Among other topics, he is interested in constructive set theory, a topic founded on dependent type theory. He plans to contribute to the development of type theory as a univalent foundation.
Dates at IAS
Member
School of Mathematics
–