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.
-
Stockholm, Sweden
-
Member for 8 years, 6 months
-
3 profile views
-
Last seen Jan 14 at 12:45
Communities (100)
- English Language & Usage 19.1k 19.1k 33 gold badges4646 silver badges9797 bronze badges
- MathOverflow 12.2k 12.2k 11 gold badge4646 silver badges8181 bronze badges
- Academia 7.8k 7.8k 33 gold badges2626 silver badges3535 bronze badges
- Mathematics 7.6k 7.6k 55 gold badges2323 silver badges4646 bronze badges
- TeX - LaTeX 3.4k 3.4k 33 gold badges2626 silver badges4242 bronze badges
- View network profile
Top network posts
- 370 Pedagogy: How to cure students of the "law of universal linearity"?
- 286 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?
- 123 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?
- 108 How to deal with a professor who grades assignments and exams incorrectly
- 71 What does "Et In Arcadia, Ego" refer to?
- 66 When Frodo offers her the ring, is Galadriel really tempted, or just making a point?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Badges (12)
Gold
—
Silver
8