About Thorsten Altenkirch
Born 1962. Thorsten Altenkirch is a computer scientist.
Thorsten Altenkirch ( , ) 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.
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.
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
People in Thorsten Altenkirch's life
Named in this biography and alive at the same time
Related people
Same field, nearest in time
Contemporaries
People whose lives overlapped Thorsten Altenkirch's
Frequently asked questions
Who is Thorsten Altenkirch?
computer scientist
When was Thorsten Altenkirch born?
Thorsten Altenkirch was born in 1962.
What is Thorsten Altenkirch's occupation?
Thorsten Altenkirch is a computer scientist.
Sources & further reading
· Wikipedia: Thorsten Altenkirch
· DBpedia: Thorsten Altenkirch
Cite this page
APA: Biography.guide. (2026). Thorsten Altenkirch. https://biography.guide/thorsten-altenkirch/
MLA: "Thorsten Altenkirch." Biography.guide, https://biography.guide/thorsten-altenkirch/.
Chicago: "Thorsten Altenkirch." Biography.guide. https://biography.guide/thorsten-altenkirch/.
Data last updated: 2026-09-20 · Spot an error? Report a correction.
Page generated 2026-09-27 05:12 UTC