Mingqi Yang

Mingqi Yang

Ph.D. Candidate

Zhejiang University

I am currently a Ph.D. student at the Formal Verification Group where my research interest falls in the intersection of formal methods and artificial intelligence. I develop semi-formal techniques for synthesizing loopy probabilistic programs leveraging neuro-symbolic approaches.


  • Verification Meets AI
  • Probabilistic Systems
  • Quantitative Reasoning
  • Program Synthesis


  • Ph.D. in Computer Science, 2028

    Zhejiang University

  • B.Sc. in Information and Computation, 2023

    Wuhan University of Technology


Conference Papers