Menu:

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

I am a mathematician, currently (from August 2014) a postdoc 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.

Email: p.l.lumsdaine@gmail.com