- GitHub: hawnzug
- ORCID: 0000-0001-9347-2151
- Office: Keller Hall 6-204
I am currently a first-year CS Ph.D. student at the University of Minnesota. My advisor is 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.Previously I was a proud member of SJTUG, a joyful Linux user group. I have been using Arch Linux on my laptop for several years and it works well. I enjoy editting in Vim, but recently I switched to Emacs.
Name is an indispensable part of any formal languages, as well as in natural language. Since Chinese naming convention has subtle differences with English, I will explain this a bit more here. My Chinese name is 王竹阳, composed of three characters 王 (Wang), 竹 (Zhu) and 阳 (Yang). These characters means king, bamboo and sun respectively, and you may pronounce my name like wong-drew-young in English. The surname is 王, and the given name is 竹阳. There is no middle name in Chinese so 竹 is not my middle name. You can see that first name and last name are reversed in Chinese name in contrast to English name.
There should be something in this section in the future...