Stack Exchange Network

Stack Exchange network consists of 175 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,726
reputation
1
38
71

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.

105
answers
19
questions
~178k
people reached

Top Tags (86)

Score 352
Posts 69
Posts % 56
Score 270
Posts 35
Score 159
Posts 17
Score 68
Posts 10
Score 50
Posts 8
Score 31
Posts 9

Top Posts (124) All Questions Answers | Votes Newest

View all questions and answers

Badges (110)

Gold

1

Rarest

Silver

38

Rarest

Bronze

71

Rarest