Past Member

Peter Henry Aczel

Funding provided by the Fund for Mathematics



Field of Study

Mathematical Logic

Home Institution

The University of Manchester

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

School of Mathematics