Thorsten Altenkirch

Short description: German Professor of Computer Science

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

Thorsten Altenkirch (/ˈɔːltənkɜːrʃ/ AWL-tən-kursh, 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.

## Contents

* 1 Education
* 2 Contributions
* 3 References
* 4 External links

## Education

Altenkirch obtained his PhD from the University of Edinburgh in 1993 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]

## References

1. ↑ "Thorsten Altenkirch". http://www.cs.nott.ac.uk/~psztxa/.
2. ↑ "Program Participants". 13 July 2012. https://www.math.ias.edu/sp/univalent/participants.
3. ↑ Thorsten Altenkirch at the Mathematics Genealogy Project
4. ↑ "Computerphile". https://www.youtube.com/channel/UC9-y-6csu5WGm29I7JiwpnA.

## External links

* Altenkirch's personal page at Nottingham
* Altenkirch's newer page at Nottingham [1]

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Thorsten Altenkirch. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Thorsten_Altenkirch&oldid=3172632"