Mingshuai Chen

Mingshuai Chen is an Assistant Professor at Zhejiang University, leading the Formal Verification Group. He previously held a postdoctoral position at RWTH Aachen University.

• Education:
  • Ph.D. in Computer Science from Institute of Software, Chinese Academy of Sciences (2019)
  • B.Sc. in Computer Science from Jilin University (2013)

His research focuses on formal verification, synthesis, programming theory, and probabilistic/quantum systems. Notable contributions include Exact Bayesian Inference and Lower Bounds for Probabilistic Programs.

Scientific awards include:

• NSFC Excellent Young Scientists Fund Program (Overseas)
• Distinguished Paper Award at ATVA 2018
• Best Paper Award at FMAC 2019
• CAS-President Special Award (2019)
• 2nd Prize@ChinaSoft'24

He serves on program committees for OOPSLA 2026, TACAS 2026, and multiple other conferences.