I am Xusheng Zhi (旭生 智, pronunciation ≈ shoe-shung gee), a fourth-year undergraduate student at Peking University. I have a broad interest in programming languages, especially program verification. Currently, I am working on proof-oriented programming languages, advised by Prof. Zhenjiang Hu and Prof. Di Wang.
During high school, I participated in competitive programming competition, and won a silver medal in National Olympiad in Informatics (NOI). For some reasons, I didn't take part in XCPC during university, but I still love thinking about IOI or ICPC-style problems—not for competition, just for fun.
Here is my CV.