[Home page](http://users-cs.au.dk/spitters/) category: people