Zhiyang Li
M.Sc. Student
Zhejiang University
I have been a Master student at the Formal Verification Group, where my research interest lies primarily in constraint solving. I have successfully defended my Master’s thesis titled “Probabilistically Approximately Complete Local Search for SMT(NRA): Algorithm and Optimization”. I have also co-developed formal techniques for reasoning about stochastic systems and static analyzing C programs.
Interests
- Quantitative Reasoning
- Verification and Synthesis
- Quantum Programming
- Programming Theory/Languages
Education
-
M.Sc. in Software Engineering, 2026
Zhejiang University
-
B.Sc. in Computer Science (Chu Kochen Honors College), 2023
Zhejiang University
