Thorsten Altenkirch

Thorsten Altenkirch (/ˈθɔːrstn ˈɔːltənkɜːrʃ/; German: [ˈtɔʁstn̩ ˈʔaltn̩kɪʁç]) is a German Professor of Computer Science at the University of Nottingham[1] known for his research on logic, type theory, and homotopy type theory. Altenkirch was part of the 2012/2013 special year on univalent foundations at the Institute for Advanced Study.[2] At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton.

Thorsten Altenkirch
Alma materUniversity of Edinburgh
Scientific career
FieldsConstructive mathematics
Type theory
Homotopy type theory
InstitutionsUniversity of Nottingham
Institute for Advanced Study
Doctoral advisorRod Burstall


Altenkirch obtained his PhD from the University of Edinburgh under Rod Burstall.[3]


Altenkirch's work includes: Containers, Epigram programming language, and Homotopy Type Theory: Univalent Foundations of Mathematics (The HoTT Book).

Altenkirch has also been a guest on the YouTube channel Computerphile[4]


  • Altenkirch's personal page at Nottingham
  • Altenkirch's newer page at Nottignham
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.