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

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