Past Member

Thorsten Altenkirch

Field of Study
Computer Science, Univalent Foundations
From 1/2013 – 4/2013:

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
  • Mathematics
1/20134/2013 Spring
The University of Edinburgh Ph.D., 1993