Mathematician, math.LO/math.CT, currently Associate Professor (Universitetslektor) at Stockholm University. Mainly working in categorical logic, especially homotopy type theory and higher categories.
Previously worked at Institute for Advanced Study, Princeton; Dalhousie University, Halifax, Nova Scotia; and Carnegie Mellon University, Pittsburgh.
BadgesView all badges
This user doesn’t have any gold badges yet.
SupporterFeb 8, 2011
AutobiographerJan 22, 2017
This user hasn’t posted yet.
Top network postsView all network posts