Not much to see here.
I have been in Munich from 2007 to 2011. Currently, I am in Nottingham.
Maybe you want to have a look at my new homepage instead.
I do homotopy type theory and higher categories and the like. My work is summarised here (although this is probably outdated): [html].
It is in the form of bibtex entries, which, when compiled, look like this: [pdf].
Anyway, feel free to drop me a message: nicolai.kraus AT nottingham.ac.uk