Thorsten Altenkirch
From Infogalactic: the planetary knowledge core
| Thorsten Altenkirch | |
|---|---|
| Fields | Constructive mathematics Type theory Homotopy type theory |
| Institutions | University of Nottingham Institute for Advanced Study |
| Alma mater | University of Edinburgh |
| Doctoral advisor | Rod Burstall |
Thorsten Altenkirch 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 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 under Rod Burstall.[3]
Contributions
Altenkirch's work includes: Containers, Epigram programming language, and Homotopy Type Theory: Univalent Foundations of Mathematics (The HoTT Book).
References
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Thorsten Altenkirch at the Mathematics Genealogy Project
External links
- Altenkirch's personal page at Nottingham.
