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
7,939
reputation
11
11

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.

1
answer
3
questions
~3k
people reached

Top Tags (9)

Score 6
Posts 4
Posts % 100
Score 6
Posts 1
Score 6
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top Posts (4) All Questions Answers | Votes Newest

Badges (22)

Gold

Silver

11

Rarest

Bronze

11

Rarest