User Peter LeFanu Lumsdaine

Peter LeFanu Lumsdaine

Member for 9 years, 1 month
Last seen more than a month ago

Stockholm, Sweden

Stats

103

reputation

reached

answers

questions

Communities

View all

About

Mathematician, math.LO/math.CT, currently Associate Professor (Universitetslektor) at Stockholm University. Mainly working in categorical logic, especially homotopy type theory and higher categories.

Previously worked at Institute for Advanced Study, Princeton; Dalhousie University, Halifax, Nova Scotia; and Carnegie Mellon University, Pittsburgh.

Badges

This user doesn’t have any gold badges yet.

silver badge

Civic Duty

Jan 22, 2020

bronze badges

Commentator

Apr 21, 2020
Editor

Mar 8, 2022
Supporter

Oct 13, 2014

Posts

This user hasn’t posted yet.