Welcome to My Home Page!
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.
Education
-
BSc in Computer Science
Peking University, 2021 - 2025 (expected)
Experiences
Undergraduate Student Intern, University of Wisconsin-Madison
Jan 2024 -- Jul 2024, Madison, WI, US
Topics: Context-Free Language Ordered Binary Decision Diagrams, advised by
Prof. Thomas Reps.
Undergraduate Research Assistant, Peking University
Aug 2024 -- Present, Beijing, China
Selected Awards
Second Prize for Problem Creation of PKUCPC
2024
First Prize for Problem Creation of PKUCPC
2023
First Prize for Problem Creation of PKUCPC
2022
Silver Medal of National Olympiad in Informatics (NOI)
2020