Peter LeFanu Lumsdaine
-
Member for 12 years, 5 months
-
Last seen more than a week ago
-
GitHub
-
Stockholm, Sweden
Stats
15,379
reputation
8k
reached
4
answers
5
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.
Badges
View all badges
This user doesn’t have any gold badges yet.
16
silver badges
-
Civic DutyApr 15, 2016
-
Good Question
× 2Aug 23, 2019 -
Good AnswerSep 17, 2019
19
bronze badges
-
Self-LearnerAug 19, 2019
-
CuriousAug 26
-
CustodianOct 8, 2015
Top tags
View all tags
52
Score
9
Posts
100
Posts %
29
Score
2
Posts
22
Posts %
7
Score
1
Posts
11
Posts %
6
Score
1
Posts
11
Posts %
6
Score
1
Posts
11
Posts %
0
Score
2
Posts
22
Posts %
Top network posts
View all network posts