
Past Member
Peter Henry Aczel
Affiliation
Mathematics
Field of Study
Mathematical Logic
From 9/2012 – 4/2013:
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
- Mathematics