Kuen-Bang Hou Favonia

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