Universitaire
Thorsten Altenkirch
German professor of computer science
- Vie
- 1962 – présent
- Né(e) le
- 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.
§Entrées associées
Universitaire
Alan Emtage
Barbadian-Canadian computer scientist
1964 – présent · États-Unis
Universitaire
Alberto Broggi
Italian computer scientist (born 1966)
1966 – présent · Italie
Universitaire
Alexander Razborov
Russian mathematician
1963 – présent · Russie
Universitaire
Alexander Razgulin
Russian mathematician (born 1963)
1963 – présent · Russie