About

Name: Zhuyang Wang (王竹阳)**My Chinese name is 王竹阳, composed of three characters 王 (Wáng), 竹 (Zhú), and 阳 (Yáng), which mean king, bamboo, and sun respectively. You may pronounce it like wong-drew-young in English. The surname is 王 and the given name is 竹阳. There is no middle name in Chinese so Zhu is not my middle name. Chinese surname comes first and given name comes last. But you can just call me Zhuyang. The username hawnzug is a permutation of “Zhu Wang”, a nickname I go by in the middle school.
Email: [email protected] | [email protected]
GitHub: hawnzug
ORCID: 0000-0001-9347-2151
Office: Keller Hall 6-204

I am a seventh-year CS Ph.D. candidate at the University of Minnesota, advised by Prof. Favonia. Before that, I received my bachelor’s degree at Shanghai Jiao Tong University, mentored by Prof. Qinxiang Cao. I am interested in programming language and type theory.

Publications

Logarithm and Program Testing
Favonia, Zhuyang Wang
POPL 2022 [doi] [preprint] [proofs]