19,215
reputation
3
46
97

PLL

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.

201
answers
5
questions
~6.5m
people reached
  • Stockholm, Sweden
  • Member for 10 years, 5 months
  • 4,096 profile views
  • Last seen 10 hours ago

Top tags (163)

Score 248
Posts 24
Posts % 12
Score 200
Posts 28
Score 180
Posts 14
Score 166
Posts 27
Score 154
Posts 13
Score 116
Posts 14

Top posts (206)

View all questions and answers

Badges (146)

Gold

3

Rarest

Silver

46

Rarest

Bronze

97

Rarest