Thorsten Altenkirch Explained

Thorsten Altenkirch
Fields:	Constructive mathematics Type theory Homotopy type theory
Workplaces:	University of Nottingham Institute for Advanced Study
Alma Mater:	University of Edinburgh
Doctoral Advisor:	Rod Burstall

Thorsten Altenkirch (pronounced as /de/) 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.

Education

Altenkirch obtained his PhD from the University of Edinburgh in 1993 under Rod Burstall.

Contributions

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.^[3]

External links

• Altenkirch's personal page at Nottingham
• Altenkirch's newer page at Nottingham https://www.nottingham.ac.uk/computerscience/people/thorsten.altenkirch

Notes and References

1. Web site: Thorsten Altenkirch.
2. Web site: Program Participants. 13 July 2012 .
3. Web site: Computerphile. YouTube. 2017-01-11.