Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Simon Huber

Title Postdoctoral Fellow
Academic Institution University of Gothenburg
Academic department Department of Computer Science and Engineering
Country Sweden
Contact Information +46733052426 http://www.cse.chalmers.se/~simonhu/
Disciplines Computer Science, Mathematics
Area(s) of Expertise Dependent type theory, proof theory, homotopy type theory, constructive mathematics

CAS Project

LOGO