Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Kuen-Bang Hou
Assistant Professor
Research Interests
Make your next move.
Prepare your application
Review drafts before you send them.
Explore related searches
About
Dr. Kuen-Bang Hou is an Assistant Professor at the University of Minnesota, USA. His research focuses on areas including order-theoretic analysis, program testing, type theory, and homotopy type theory. His recent publications highlight topics such as universe polymorphism, syntax and models in Cartesian cubical type theory, and applications of cellular cohomology.
Articles (5)
Year:
2025
Year:
2023
Year:
2022
Year:
2021
Year:
2020
Collaborators (4)
Ulrik Buchholtz
Assistant Professor
-
Reed Mullanix
University of Minnesota
Carlo Angiuli
Assistant Professor
Indiana State University
Daniel R Licata
Assistant Professor
Wesleyan University
Make your next move.
Prepare your application
Review drafts before you send them.