From Wikipedia, the free encyclopedia

Thorsten Altenkirch
Thorsten Altenkirch in Schlehdorf (2022)
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.

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

  • Altenkirch's personal page at Nottingham
  • Altenkirch's newer page at Nottingham [1]
From Wikipedia, the free encyclopedia

Thorsten Altenkirch
Thorsten Altenkirch in Schlehdorf (2022)
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.

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

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

Videos

Youtube | Vimeo | Bing

Websites

Google | Yahoo | Bing

Encyclopedia

Google | Yahoo | Bing

Facebook