![Zhonghan Wang](https://popl24.sigplan.org/getProfileImage/zhonghanwang/02fa3ed3-7037-4ab3-b58b-75ce408cbd6c/small.jpg?1718798826000)
Registered user since Sun 15 Oct 2023
Name:Zhonghan Wang
Country:China
Affiliation:State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Personal website: https://yogurt-shadow.github.io/
X (Twitter): https://x.com/YogurtShadow
GitHub: https://github.com/yogurt-shadow
Research interests:Formal Method, Constraint Solving
Contributions
POPL 2024-profile
View general profile
View general profile