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