I am involved in an intern program at the Formal Verification Group under the supervision of Dr. Mingshuai Chen. The goal of my research is to develop formal techniques for the (semi-)automated synthesis/identification of hybrid system models with possibly nonlinear differential dynamics.
B.Sc. in Computer Science, 2025
Zhejiang University