Peter LeFanu Lumsdaine (Preferred)
, Peter Lumsdaine
Peter LeFanu Lumsdaine
Pronouns: he/him
Associate Professor, Dept. of Mathematics, Stockholm University
- Joined November 2024
Names
Emails
****@math.su.se (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Associate Professor
Dept. of Mathematics, Stockholm University (su.se)
2021 – Present
Assistant Professor
Dept. of Mathematics, Stockholm University (su.se)
2017 – 2020
Postdoc
Dept. of Mathematics, Stockholm University (su.se)
2014 – 2017
Postdoc
School of Mathematics, Institue for Advanced Study, Princeton (ias.edu)
2012 – 2014
Postdoc
Dept. of Mathematics and Statistics, Dalhousie University (dal.ca)
2010 – 2012
PhD student
Dept. of Mathematics, Carnegie Mellon University (cmu.edu)
2005 – 2010
Undergrad student
Dept. of Mathematics, University of Cambridge (cam.ac.uk)
2001 – 2005
Advisors, Relations & Conflicts
Expertise
Categorical logic
2005 – Present
Type theory
2005 – Present
Constructive mathematics
2005 – Present
Formalisation of mathematics
2005 – Present