user avatar
user avatar
user avatar
Peter LeFanu Lumsdaine
  • Member for 11 years, 7 months
  • Last seen this week
Stats
8,048
reputation
331k
reached
96
answers
4
questions
Loading…
About

Mathematician, math.LO/math.CT, currently Associate Professor (Universitetslektor) 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.

5
gold badges
24
silver badges
49
bronze badges
95
Score
16
Posts
16
Posts %
76
Score
13
Posts
13
Posts %
52
Score
5
Posts
5
Posts %
33
Score
4
Posts
4
Posts %
29
Score
9
Posts
9
Posts %
29
Score
5
Posts
5
Posts %
Top posts
View all questions and answers