Past Member
Thorsten Altenkirch
Funding provided by the Fund for Mathematics
Affiliation
Mathematics
Field of Study
Computer Science, Univalent Foundations
From
–
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
School of Mathematics
–
Spring
Degrees
The University of Edinburgh
Ph.D.
1993