Peter LeFanu Lumsdaine
Member for 6 years, 9 months
Last seen more than a month ago
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.
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
This user hasn’t posted yet.
Top network postsView all network posts