Projects per year
Fingerprint
The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Testing Polymorphic Data Structures
Hou (Favonia), K.-B. (PI)
8/7/23 → 8/6/28
Project: Research project
-
Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
Hou (Favonia), K.-B. (PI)
UNIVERSITY OF SAN DIEGO, USDOD AIR FORCE
1/15/21 → 1/14/26
Project: Research project
-
Conference: School and Workshop on Univalent Mathematics
Hou (Favonia), K.-B. (PI)
THE NATIONAL SCIENCE FOUNDATION
7/1/24 → 6/30/25
Project: Research project
-
DO NOT USE - Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
Hou (Favonia), K.-B. (PI)
UNIVERSITY OF CALIFORNIA SAN DIEGO, USDOD AIR FORCE
1/15/21 → 1/16/21
Project: Research project
-
Coslice Colimits in Homotopy Type Theory
Hart, P. & Hou, K. B., Feb 3 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 46. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
An Order-Theoretic Analysis of Universe Polymorphism
Hou, K. B., Angiuli, C. & Mullanix, R., Jan 9 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, p. 1659-1685 27 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Logarithm and program testing
Hou, K. B. & Wang, Z., Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, 3498696.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
Cellular cohomology in homotopy type theory
Buchholtz, U. & Hou, K. B., 2020, In: Logical Methods in Computer Science. 16, 2, p. 1-21 21 p., 7.Research output: Contribution to journal › Article › peer-review
5 Scopus citations -
Cartesian cubical computational type theory: Constructive reasoning with paths and equalities
Angiuli, C., Hou, K. B. & Harper, R., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
19 Scopus citations