User Peter LeFanu Lumsdaine

Peter LeFanu Lumsdaine

Member for 10 years, 1 month
Last seen more than 5 years 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.

This user doesn’t have any silver badges yet.

bronze badges

Supporter

Oct 12, 2015
Autobiographer

Oct 12, 2015

Posts

This user hasn’t posted yet.