Registered user since Mon 8 Dec 2025
Name:Shenghao Yuan
Country:China
Affiliation:Zhejiang University
Personal website: https://shenghaoyuan.github.io/
Research interests:Formal Method; Verified Compiler; Verified VM
Contributions
Using general profile