Thorsten Altenkirch

Thorsten Altenkirch
Thorsten Altenkirch in Schlehdorf (2022)
Alma mater	University of Edinburgh
Scientific career
Fields	Constructive mathematics Type theory Homotopy type theory
Institutions	University of Nottingham Institute for Advanced Study
Doctoral advisor	Rod Burstall

Thorsten Altenkirch (/ˈɔːltənkɜːrʃ/ AWL-tən-kursh, 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.