Shortcuts: papers, talks, artifacts, thesis and CV.

A profile picture of Favonia standing on the rocks, facing backwards. I am an assistant professor at the University of Minnesota. My research interests lie in achieving a high level of rigor in computer programs and mathematical proofs. In particular, I have been working on proof mechanization, type theory, compiler correctness and property-based testing. Check out my Ph.D. advising statement if you are interested.

How to Cite My Name in Your LaTeX Papers

I found Kuen-Bang {Hou (Favonia)} works best in LaTeX, BibTeX and Biber.

Current Research


Link: all students and postdocs

Current Students


My names in everyday life are the sequences f-a-v-o-n-i-a and 西-. They mean west wind. My governmental name is Kuen-Bang Hou (transliteration of the Mandarin name 侯昆邦). I go by Kuen-Bang Hou (Favonia) in academics.

You are welcome to pronounce them in any reasonable language, dialect or accent. You can also transliterate them into any reasonable writing system.

Knuth’s Check

I am aware that Knuth wanted to send me a check, but I was not unable to reach them (Knuth or Knuth’s secretary) through emails.

This page was made with GitHub-like CSS (licensed under MIT and modified by me).