Peter LeFanu Lumsdaine — Institut Henri Poincaré, May 2014.  Photo: Nitvadinh Sriratanakoul.

I am a mathematician, currently assistant professor in the logic group at Stockholm University.

My research interests lie mainly in category theory and logic, including homotopy type theory, higher category theory, topos theory, and constructive mathematics. Publications, etc.