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