Doctoral advisor Rod Burstall Academic advisor Rod Burstall | Alma mater University of Edinburgh | |
 | ||
Fields Constructivism, Type theory, Homotopy type theory Institutions University of Nottingham, Institute for Advanced Study | ||
Thorsten altenkirch 1 2 towards a syntax for cubical type theory
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.
Contents
- Thorsten altenkirch 1 2 towards a syntax for cubical type theory
- Homotopy and univalence thorsten altenkirch
- Education
- Contributions
- References
Homotopy and univalence thorsten altenkirch
Education
Altenkirch obtained his PhD from The University of Edinburgh 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
References
Thorsten Altenkirch Wikipedia(Text) CC BY-SA