[Homepage](http://www.cs.nott.ac.uk/~psztxa/) [[nlab:Thorsten Altenkirch]] category: people