Failed to fetch the photo. 如果你来自中国，你可能需要科学上网。
Xusheng Zhi

Welcome to My Home Page!

I am Xusheng Zhi (旭生 智, pronunciation: shoe-shung gee), an undergraduate student at Peking University. I have a broad interest in programming languages, especially formal verification. I am currently involved in research on proof-oriented programming languages, advised by Prof. Zhenjiang Hu and Prof. Di Wang.

Education

  • BSc in Computer Science Peking University, 2021 - 2025 (expected)

Experience

  • Student Intern University of Wisconsin-Madison, 2024.1 - 2024.7
  • Undergrad RA Peking University, 2023.6 - 2023.12 & 2024.8 - present
Failed to fetch the photo. 如果你来自中国，你可能需要科学上网。
Xusheng Zhi
Failed to fetch the photo. 如果你来自中国，你可能需要科学上网。
Xusheng Zhi

During Undergraduate

  • First Prize for Problem Creation PKUCPC2024
  • First Prize for Problem Creation PKUCPC2023
  • Award for Academic Excellence 2022-2023
  • First Prize for Problem Creation PKUCPC2022

Before University

  • Silver Medal National Olympiad in Informatics 2020