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)
Biography
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.