Peter LeFanu Lumsdaine received his doctorate in 2010 from Carnegie Mellon University, under Steve Awodey. Prior to joining Stockholm University, he was a member of the Institute for Advanced Studies in Princeton.

Peter’s research is in category theory and logic, especially in homotopy type theory and formalisation of mathematics.