Hengzhi Yu
M.Sc. Candidate
Zhejiang University
I am currently a Master student at the Formal Verification Group. My research interests mainly include formal verification and program analysis.
Interests
- Static Analysis
- Programming Theory/Languages
Education
-
M.Sc. in Computer Science, 2027
Zhejiang University
-
B.Sc. in Artificial Intelligence, 2024
Dalian University of Technology