Thorsten Altenkirch
Thorsten Altenkirch (/ˈθɔːrstaɪn ˈɔːltənkɜːrʃ/; German: [ˈtɔʁstn̩ ˈʔaltn̩kɪʁç]) 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.
Thorsten Altenkirch | |
|---|---|
| Alma mater | University of Edinburgh |
| Scientific career | |
| Fields | Constructive mathematics Type theory Homotopy type theory |
| Institutions | University of Nottingham Institute for Advanced Study |
| Doctoral advisor | Rod Burstall |
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).
Altenkirch has also been a guest on the YouTube channel Computerphile[4]
gollark: They waste money in other ways and nobody cares much.
gollark: Why isn't some billionaire covering random regions of desert with megastructures? That would be cool.
gollark: I mostly think our current governance models are kind of awful but really hard to replace with anything which works better.
gollark: The Bible is something like a million words if I remember right, and I would have to filter out the irrelevant historical things and arbitrary rules if I wanted to read it as philosophy or something. Strictly speaking, I have time but not the attention span or any actual desire.
gollark: Yes.
References
- "Thorsten Altenkirch".
- "Program Participants".
- Thorsten Altenkirch at the Mathematics Genealogy Project
- "Computerphile". YouTube. Retrieved 11 January 2017.
External links
- Altenkirch's personal page at Nottingham
- Altenkirch's newer page at Nottignham
Authority control  |
|
|---|
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.