Hengzhi Yu
M.Sc. Candidate
Zhejiang University
I am currently a Master student at the Formal Verification Group. My research interests mainly include cyber-physical systems and system identification.
Interests
- Cyber-Physical Systems
- Hybrid Systems
Education
-
M.Sc. in Computer Science, 2027
Zhejiang University
-
B.Sc. in Artificial Intelligence, 2024
Dalian University of Technology