Nicolai Kraus

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