Mingshuai Chen

Registered user since Mon 27 Feb 2023

Name:Mingshuai Chen
Bio:

I am an Assistant Professor leading the Formal Verification Group at Zhejiang University (ZJU), Hangzhou, China. Prior to joining ZJU, I worked as a Postdoctoral Researcher at the Software Modeling and Verification Group at RWTH Aachen University, Aachen, Germany. In 2019, I received the Ph.D. degree in computer science from the Institute of Software, Chinese Academy of Sciences, Beijing, China.

Country:China
Affiliation:Zhejiang University
Research interests:Logic, Verification and Synthesis, Programming Theory, Quantitative Reasoning, Hybrid Systems

Contributions