Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Kuen-Bang Hou

Title Assistant Professor
Academic Institution University of Minnesota
Academic department Computer Science and Engineering
Country USA
Contact Information +1 (717) 417-8337 https://favonia.org
Disciplines Computer science
Area(s) of Expertise Type theory, programming language

About fellow

I am interested in achieving a high level of rigor in computer programs and mathematical proofs. During my stay in Oslo I would like to work on cubical type theory and synthetic homotopy theory.

CAS Project