4,623 reputation
1 18 42

Peter LeFanu Lumsdaine top 8% this year

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

Top Tags (57)

Score 195
Posts 45
Posts % 56
Score 88
Posts 18
Score 88
Posts 11
Score 39
Posts 6
Score 23
Posts 7
Score 18
Posts 5

Top Posts (80) All Questions Answers | Votes Newest

View all questions and answers

Badges (61)

Gold 1

Rarest

Silver 18

Rarest

Bronze 42

Rarest