<p>Mathematician, math.LO/math.CT, currently Associate Professor (Universitetslektor) at <a href="http://www.math.su.se" rel="nofollow noreferrer">Stockholm University</a>.  Mainly working in categorical logic, especially <a href="http://homotopytypetheory.org" rel="nofollow noreferrer">homotopy type theory</a> and higher categories.</p>
<p>Previously worked at <a href="http://www.ias.edu" rel="nofollow noreferrer">Institute for Advanced Study</a>, Princeton; <a href="http://www.dal.ca" rel="nofollow noreferrer">Dalhousie University</a>, Halifax, Nova Scotia; and <a href="http://www.cmu.edu" rel="nofollow noreferrer">Carnegie Mellon University</a>, Pittsburgh.</p>

PLL