Past Member

Thorsten Altenkirch

Funding provided by the Fund for Mathematics

Affiliation

Mathematics

Field of Study

Computer Science, Univalent Foundations

Home Institution

University of Nottingham
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