ICFP/SPLASH 2025 (series) / Shengyi Wang
Registered user since Mon 15 Jan 2024
Name:Shengyi Wang
Country:United States
Affiliation:Princeton University
Personal website: https://www.cs.princeton.edu/~shengyiw/
Research interests:Formal Verification, Programming Language
Contributions
Using general profile