Kuen-Bang Hou Favonia

Kuen-Bang Hou Favonia
Assistant Professor, Department of Computer Science & EngineeringContact
Kenneth H. Keller Hall Room 6-209 200 Union Street SeMinneapolis, MN 55455
Education
Ph.D. in Computer Science, Carnegie Mellon University (2017)
B.S. in Computer Science and Information Engineering, National Taiwan University, Taiwan (2008)
Professional Background
Kuen-Bang Hou Favonia joined the Department of Computer Science & Engineering in 2018 as an assistant professor. They received their Ph.D. (2017) in computer science from Carnegie Mellon University. Prior to their time at the University, Favonia served as a research assistant at Academia Sinica in Taiwan from 2009-10 and as a postdoctoral fellow at Carnegie Mellon University in 2017. They received the Distinguished Dissertation Award from Carnegie Mellon University in 2017 and the Distinguished Reviewer Award from the International Conference on Functional Programming in 2021.
Visit Kuen-Bang Hou Favonia's Experts@Minnesota profile page.
Favonia’s research interests lie in achieving high rigor in computer programs and mathematical proofs. In particular, they have been working on proof mechanization, type theory, programming language theory, and property-based testing. They pay attention to theoretical concerns and practical considerations and are attracted to research informed by both.
Research Division
Computing Foundations
Current Research
Google Scholar
Honors and Awards
Selected Grants
Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
Favonia, F.; University of San Diego; 1/15/21 - 1/14/23