Skip to main content
Chess
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine
  • Member for 10 years, 9 months
  • Last seen more than a week ago
  • Stockholm, Sweden
Profile Activity
Stats
322
reputation
18k
reached
2
answers
0
questions
Communities
View all
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.
2
silver badges
9
bronze badges
Top tags
View all tags
12
Score
1
Posts
50
Posts %
12
Score
1
Posts
50
Posts %
12
Score
1
Posts
50
Posts %
12
Score
1
Posts
50
Posts %
10
Score
1
Posts
50
Posts %
10
Score
1
Posts
50
Posts %
Top posts
answer
12
Why is this a checkmate?
Feb 2, 2021
answer
10
Is there an equivalent to “a knight on the rim is dim” in other languages?
Feb 14, 2022
Top network posts
View all network posts
403
Pedagogy: How to cure students of the "law of universal linearity"?
289
How do you explain to a 5th grader why division by zero is meaningless?
200
How do I ask for an espresso if there's a good chance they don't know how to make it?
124
Is it unethical to take a photograph of my question sheets from a sit-down exam I've just finished if I am not allowed to take them home?
111
How to deal with a professor who grades assignments and exams incorrectly