3,560 reputation
1332
bio website peterlefanulumsdaine.com
location Stockholm, Sweden
age 32
visits member for 5 years, 3 months
seen 23 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,560 Reputation

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