Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Egbert Rijke

Title Postdoctoral Fellow
Academic Institution University of Illinois at Urbana-Champaign
Academic department Department of Mathematics
Country USA
Contact Information +14129832228
Disciplines mathematics
Area(s) of Expertise Homotopy type theory, formalization of mathematics, higher category theory

CAS Project

LOGO