Travel
PLL
  • Stockholm, Sweden
  • Member for 8 years, 4 months
Profile Activity
Stats
503
reputation
10k
reached
1
answers
4
questions
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.

Communities (103)

Top network posts

1
gold badge
4
silver badges
11
bronze badges
View all badges

Top tags (16)

Score 18
Posts 1
Posts % 20
Score 18
Posts 1
Score 18
Posts 1
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (5)

All Questions Answers
Votes Newest
18 Should I take my own coffee to Japan? Feb 27 '16
9 Domestic flight in Australia, without passport Jun 1 '13
5 Late night taxis from San Jose Airport, Costa Rica (SJO)? Jan 13 '14
4 Passport validity rule for US citizen on short Sweden/Schengen visit? Mar 25 '19
4 UK car rental: protections against charges for damage, that was pre-existing and renter had no chance to discover at checkout? Nov 28 '20

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.