Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Peter LeFanu Lumsdaine

Title Assistant Professor
Academic Institution Stockholm University
Academic department Department of Mathematics
Country Sweden
Contact Information http://peterlefanulumsdaine.com
Disciplines Mathematics
Area(s) of Expertise Dependent type theory, category theory, homotopy type theory, constructive logic, categorical logic

CAS Project

LOGO
Address:
Drammensveien 78
0271 Oslo
Norway
 
Phone:
+47 22 12 25 00
 
E-mail:
cas@cas.oslo.no
Office hours:
09.00 - 14.45