Zhongyi Wang
M.Sc. Candidate
Zhejiang University
I am currently a Master student at the Formal Verification Group. My research focuses on static program analysis where, in particular, I develop formal techniques for automating the procedure of abstract interpretation for analyzing C/C++ programs.
Interests
- Abstract Interpretation
- Static Analysis
- Automated Verification
- Programming Theory/Languages
Education
-
M.Sc. in Software Engineering, 2026
Zhejiang University
-
B.Sc. in Bioinformatics, 2023
Shanghai Jiao Tong University
