Zhuyang Wang

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

About

I am a sixth-year CS Ph.D. student 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.

Publication

• 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 school.

Organizations

I am or used to be a member of

• PL Seminar at University of Minnesota
• SJTUG, a joyful Linux user group
• NIMO (left)
• CCYL (left)
• CYP (left)