[Homepage](http://florisvandoorn.com/) [[nlab:Floris van Doorn]] category: people