Pengcheng Wang

Pengcheng Wang

Intern

Zhejiang University

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.

Interests

  • Verification · Synthesis
  • Cyber-Physical Systems
  • Differential Geometry
  • Hybrid Systems
  • Model Learning

Education

  • B.Sc. in Computer Science, 2025

    Zhejiang University

Publications