Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Floris Van Doorn

Title Ph. D. Candidate
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