🍂 Favonia

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 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. Check out my Ph.D. advising statement if you are interested.

🔬 Current Research

Links: 📄 papers/thesis 🗣️ talks 📦 artifacts

🧑 Advisees

Link: 🧑 all advisees

🧑‍🎓 Ph.D. Students

🧑‍🎓 Masters Students

🧑‍💻 Research Programmer


🤝 Are You Taking New Students?

It depends on my current advising load. If you are interested in doing a Ph.D., you should read my advising statement and then apply to our program. Feel free to email me, but please include something specific to my research. If your email still makes sense after replacing my name with another professor, I will probably ignore it.

📛 How to Cite Your Name in LaTeX?

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

👤 What is Your Pronoun?

Any pronoun works for me. (Previously, I used they/them, and there’s nothing wrong with continuing using they/them.)

🌬️ What does “Favonia” Mean?

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 academia. You are welcome to pronounce them in any reasonable language, dialect or accent. You can also transliterate them into any reasonable writing system.

💵 Did You Get 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.

🗡️ I Saw “Favonia” in a Game!

I know there’s a mighty weapon whose English name contains “Favonia.” The translation is excellent, but to me it is a new and fierce competitor in search engine optimization. (I avoided writing out the names of the game and the weapon here so that people can filter out those pages when using Google. 😉)

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