4,425 reputation
1 18 41

Peter LeFanu Lumsdaine

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 (56)

Score 191
Posts 43
Posts % 55
Score 84
Posts 18
Score 84
Posts 11
Score 39
Posts 6
Score 22
Posts 7
Score 18
Posts 5

Top Posts (78) All Questions Answers | Votes Newest

View all questions and answers

Badges (60)

Gold 1

Rarest

Silver 18

Rarest

Bronze 41

Rarest