Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
8,219
reputation
1
37
67

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.

101
answers
18
questions
~144k
people reached

Top Tags (86)

Score 326
Posts 65
Posts % 55
Score 244
Posts 33
Score 151
Posts 16
Score 68
Posts 10
Score 49
Posts 8
Score 30
Posts 9

Top Posts (119) All Questions Answers | Votes Newest

View all questions and answers

Badges (105)

Gold

1

Rarest

Silver

37

Rarest

Bronze

67

Rarest