User Peter LeFanu Lumsdaine

Peter LeFanu Lumsdaine

Member for 3 years, 5 months
Last seen more than a week ago

peterlefanulumsdaine.com
Stockholm, Sweden

Stats

101

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.

This user doesn’t have any silver badges yet.

bronze badges

Supporter

Dec 17, 2019
Autobiographer

Dec 17, 2019

Posts

This user hasn’t posted yet.