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
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