|Alma mater||University of Edinburgh|
Homotopy type theory
|Institutions||University of Nottingham|
Institute for Advanced Study
|Doctoral advisor||Rod Burstall|
Thorsten Altenkirch (German pronunciation: [ˈtɔʁstn̩ ˈʔaltn̩kɪʁç]) is a German Professor of Computer Science at the University of Nottingham 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. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton.
Altenkirch has also been a guest on the YouTube channel Computerphile