Thorsten Altenkirch
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Books | Conceptual Programming with Python |
| Official site | cs.nott.ac.uk |
| H index | 35 |
| Affiliations | University Of Nottingham |
| Education | The University of Edinburgh |
| Academic advisor | Rod Burstall |
| Interests | Type Theory |
| Category Theory | |
| Functional Programming | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1115030 |
Thorsten Altenkirch Life story
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.
thorsten altenkirch Photos
