[Homepage](http://ericfinster.github.io/) [[nlab:Eric Finster]] category: people