Thorsten Altenkirch

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

  1. ↑ "Thorsten Altenkirch".
  2. ↑ "Program Participants".
  3. ↑ Thorsten Altenkirch at the Mathematics Genealogy Project

External links

This article is issued from Wikipedia - version of the Wednesday, December 23, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.