معرفی
Kuen-Bang Hou (Favonia) is affiliated with the University of Minnesota and is an active contributor to the programming languages and formal methods research community. He has served on program committees, chaired sessions, and presented research at major conferences including POPL, ICFP, CPP, and WITS.
Research Interests:
- Mechanized Reasoning
- Programming Language Theory
- Type Theory
- Formal Verification
- Proof Assistants
- Compiler Design
His recent work explores advanced topics in type systems, universe polymorphism, program testing, and compiler diagnostics. The publications reflect a strong theoretical foundation combined with practical tool development, particularly in enhancing developer experience through better diagnostics.
Conference Leadership and Service:
- Session Chair, Type Theory at POPL (2022, 2024)
- Session Chair, Formalizing Mathematics at CPP (2022, 2024)
- Program Committee Member, POPL, CPP, WITS, TyDe, ICFP
- Co-Chair, ICFP Student Research Competition (2024)
- Organizing Committee, PLMW @ POPL (2023)
He is also involved in mentoring and diversity efforts through participation in PLMW and DEI initiatives.
Labs and Research Groups:
While not explicitly named in the text, his work on mechanized reasoning and type theory suggests involvement with formal methods or programming languages research groups, possibly associated with his GitHub activity (https://github.com/favonia) and tool development like the asai library.
