Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Floris Van Doorn

Title Postdoctoral Fellow
Academic Institution Carnegie Mellon University
Academic department Department of Philosophy
Country USA
Contact Information +1 412 623 9152 http://florisvandoorn.com
Disciplines mathematics
Area(s) of Expertise Homotopy Type Theory Interactive Theorem Proving

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