Kuen-Bang Hou Favonia

Favonia headshot

Kuen-Bang Hou Favonia

Assistant Professor, Department of Computer Science & Engineering


Kenneth H. Keller Hall
Room 6-209
200 Union Street Se
Minneapolis, MN 55455


  • Ph.D. in Computer Science, Carnegie Mellon University (2017)
  • B.S. in Computer Science and Information Engineering, National Taiwan University, Taiwan (2008)


Favonia personal website

Research Interests

Favonia's research interests lie in achieving a high level of rigor in computer programs and mathematical proofs. In particular, they have been working on proof mechanization, type theory, compiler correctness and property-based testing.

Research Areas
Software Engineering and Programming Languages
Theoretical Foundations

Current Research
Google Scholar