11,208
reputation
1
42
75

Peter LeFanu Lumsdaine

Mathematician, math.LO/math.CT, currently Assistant Professor 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.

115
answers
21
questions
~209k
people reached

Top tags (94)

Score 454
Posts 78
Posts % 57
Score 283
Posts 37
Score 165
Posts 17
Score 70
Posts 12
Score 50
Posts 8
Score 36
Posts 8

Top posts (136) All Questions Answers | Votes Newest

View all questions and answers

Badges (118)

Gold

1

Rarest

Silver

42

Rarest

Bronze

75

Rarest