Registered user since Sun 15 Oct 2023
Name:Zhonghan Wang
Country:China
Affiliation:Institute of Software, Chinese Academy of Sciences
Personal website: https://yogurt-shadow.github.io/
X (Twitter): https://x.com/YogurtShadow272
GitHub: https://github.com/yogurt-shadow
Research interests:Formal Method, Programming Languages
Contributions
Using general profile