stringtranslate.com

Thorsten Altenkirch

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.

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".
  2. ^ "Program Participants". 13 July 2012.
  3. ^ Thorsten Altenkirch at the Mathematics Genealogy Project
  4. ^ "Computerphile". YouTube. Retrieved 11 January 2017.

External links