Thorsten Altenkirch

University of Nottingham

Thorsten Altenkirch is a 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.

←Back

Contact

For general info: info@lambdadays.org
To become a sponsor: wioletta@lambdadays.org