Kuen-Bang Hou Favonia Assistant Professor, Department of Computer Science & Engineering Contact 612-626-5867 kbh@umn.edu Kenneth H. Keller Hall Room 6-209 200 Union Street Se Minneapolis, MN 55455 Biographical Info Research & Teaching Biography 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 areasSoftware Engineering and Programming LanguagesTheoretical Foundations Visit Kuen-Bang Hou Favonia's Experts@Minnesota profile page.
