Thorsten Altenkirch (/ /; German: [ˈ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.
|Alma mater||University of Edinburgh|
Homotopy type theory
|Institutions||University of Nottingham|
Institute for Advanced Study
|Doctoral advisor||Rod Burstall|
- Altenkirch's personal page at Nottingham
- Altenkirch's newer page at Nottignham