Shortcuts: my papers, my talks, my artifacts, my thesis and my CV.
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.
How to Cite My Name in Your LaTeX Papers
I found Kuen-Bang {Hou (Favonia)} works best in LaTeX, BibTeX and Biber.
Current Research
- Cubical type theory: new type theory augmented with abstract intervals; it was inspired by homotopy type theory.
- Program testing: exploiting typing information to reduce testing.
- Web security: proving a web application is not susceptible to XSS, CSRF, clickjacks, or other attacks.
Advising
Students
Postdocs
Courses
- CSCI 2041 Advanced Programming Principles, 2019 Fall
Name
My names in everyday life are the sequences f-a-v-o-n-i-a and 西-風. My governmental name is Kuen-Bang Hou (transliteration of the Mandarin name 侯昆邦). I go by Kuen-Bang Hou (Favonia) in academics.
My everyday names mean west wind. You are welcome to pronounce them in any reasonable language, dialect or accent. You can also transliterate them into any reasonable writing system. Please share with me your pronunciation and/or transcription!
- In the United States English and British English it might be written as Favonia and the first syllable might reduce to a schwa. (cf. favonian.) It is difficult to collect data because everyone who knows me just copies my pronunciation in English now.
- In Tâi-bân it might be written as 西風, Se-hong, Sai-hong, セエホン or サイホン and be pronounced as Se-hong or Sai-hong.
- In Bokmål it might be written as Favonia, and in Norsk a possible pronunciation among so many dialects delivers the second vowel as the close back rounded vowel.
- In Japanese it might be written as 西風, ファボーニア or ファヴォーニア and can be pronounced in many ways, including せいふう (seifuu), せいかぜ (seikaze) (rare), にしかぜ (nishikaze), ファボーニア (fabōnia) and ファヴォーニア (favōnia).
- In Mandarin it might be written as 西風 or 西风 and be pronounced as ㄒㄧ ㄈㄥ or Xīfēng.
See also:
Pronoun
I go by singular they but people often choose he because of my perceived gender.
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).