Past Member
Peter Henry Aczel
Funding provided by the Fund for Mathematics
Affiliation
Mathematics
Field of study
Mathematical Logic
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.
Visits
Member
School of Mathematics
–