Past Member

Thorsten Altenkirch

Affiliation
Mathematics
Field of Study
Computer Science, Univalent Foundations

Thorsten Altenkirch researches type theory as a foundation of formal reasoning and its application to computer science, particularly category theory and constructive logic. He has formulated an extensional intensional type theory (LICS99,PLPv08), also called observational type theory, which he would like to extend to a proof-relevant setting and also capture Voevodsky’s univalence axiom.

Dates at IAS
Member
  • Mathematics
1/20134/2013 Spring
Degrees
The University of Edinburgh Ph.D., 1993