ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Shengyi Wang

Registered user since Mon 15 Jan 2024

Name:Shengyi Wang
Country:United States
Affiliation:Princeton University
Research interests:Formal Verification, Programming Language

Contributions

Show activities from other conferences

Using general profile