Zhuyang Wang

I am a sixth-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.

• Email: [email protected]
• GitHub: hawnzug
• ORCID: 0000-0001-9347-2151
• Office: Keller Hall 6-204

Publications

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

Talk

• Proof Search in Cartesian Cubical Type Theory
  MURI meeting 2023
  slides

Posts

Opinions are personal.

My Name

My Chinese name is 王竹阳, composed of three characters 王 (Wang), 竹 (Zhu), and 阳 (Yang). These characters means 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 middle school.