Kuen-Bang Hou Favonia
University of Minnesota · Computer Science and Engineering
h-index—
Citations—
Papers—
Funding—
About
I am an assistant professor at the University of Minnesota. My research interests lie in achieving high rigor in computer programs and mathematical proofs. In particular, I have been working on proof mechanization, type theory, programming language theory, and property-based testing.
Similar researchers at University of Minnesota
- Resume-aware match score
- Save to shortlist
- AI-drafted outreach
See your match with Kuen-Bang Hou Favonia
PhdFit ranks faculty by your research interests, methods, and publications — grounded in their actual work, not templates.
- Free to start
- No credit card
- 30-second signup