Academic
Thorsten Altenkirch
German professor of computer science
- Life
- 1962 – present
- Born
- 1962
Thorsten Altenkirch is a German Professor of Computer Science at the University of Nottingham 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. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton.
§Related entries
Academic
Alan Emtage
Barbadian-Canadian computer scientist
1964 – present · United States
Academic
Alberto Broggi
Italian computer scientist (born 1966)
1966 – present · Italy
Academic
Alexander Razborov
Russian mathematician
1963 – present · Russia
Academic
Alexander Razgulin
Russian mathematician (born 1963)
1963 – present · Russia