ICFP/SPLASH 2025 (series) / Xusheng Zhi
Registered user since Sat 23 Aug 2025
Name:Xusheng Zhi
Bio:
I am Xusheng Zhi. I’m first-year Ph.D. student at University of Wisconsin-Madison. I have a broad interest in programming languages, especially program verification.
Country:United States
Affiliation:University of Wisconsin-Madison
Personal website: https://hihi142.github.io
GitHub: https://github.com/Hihi142
Research interests:Programming Languages
Contributions
Using general profile