Kuen-Bang Hou Favonia

Assistant Professor, Department of Computer Science & Engineering

Contact

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

Current Research
Google Scholar

Visit Kuen-Bang Hou Favonia's Experts@Minnesota profile page.

a6de7dbe-401e-4dfa-90fd-dd4d9c2226f4

false