3,490 reputation
1331
bio website peterlefanulumsdaine.com
location Stockholm, Sweden
age 32
visits member for 5 years
seen 6 hours ago

Mathematician, math.LO/math.CT, currently postdoc 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.


3,490 Reputation

10 Oct 23
4 Sep 16
+2 16:45 edit
+2 16:34 edit
15 Sep 12
10 Aug 26
10 Aug 15
10 Jul 21
10 Jul 2
10 May 20
5 May 15
10 Apr 30
45 Apr 29
10 Apr 8
20 Apr 7
10 Mar 29
10 Mar 9
5 Mar 8
10 Feb 27
10 Feb 26
7 Feb 25
20 Feb 24
10 Feb 8
-10 Jan 27
40 Jan 6
55 Jan 5
20 Dec 26 '13
5 Dec 20 '13
10 Dec 5 '13
30 Dec 4 '13
25 Dec 3 '13
10 Nov 29 '13