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