Zhiyang Li
M.Sc. Candidate
Zhejiang University
I am currently a Master student at the Formal Verification Group where my research interest falls in the intersection of mathematics and computer science. I develop formal techniques for verifying possibly noisy quantum programs against properties like robustness, safety, and privacy.
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
