1,470
reputation
11
13

Peter LeFanu Lumsdaine

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.

10
answers
0
questions
~22k
people reached
  • Stockholm, Sweden
  • Member for 6 years, 6 months
  • 90 profile views
  • Last seen May 6 at 22:00

Top tags (24)

Score 50
Posts 3
Posts % 30
Score 43
Posts 2
Score 38
Posts 1
Score 38
Posts 1
Score 34
Posts 1
Score 25
Posts 5

Top posts (10)

Badges (24)

Gold

Silver

11

Rarest

Bronze

13

Rarest