[Homepage](http://www.andrej.com/) [[nlab:Andrej Bauer]] category: people