Past Member

Peter Henry Aczel

Affiliation
Mathematics
Field of Study
Mathematical Logic

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
9/20124/2013