I am Xusheng Zhi (旭生 智, pronunciation ≈ shuu-shung gee). I'm a first-year Ph.D. student at University of Wisconsin-Madison. I have a broad interest in programming languages, especially program verification.
Outside of research, I enjoy small games, like card and board games. As a playful example, my Github avatar is designed like a little puzzle: the letters "Z", "X", and "S" are the initials of my Chinese name, and the 7 × 9 = 63 dots together form a perfect binary tree, with the central dot serving as the root.
Feel free to reach out if you’d like to discuss research or ideas!