FSEN 2025
Mon 7 - Tue 8 April 2025 Västerås, Sweden
Mingshuai Chen

Registered user since Mon 27 Feb 2023

Name:Mingshuai Chen

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.

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


Show activities from other conferences

Using general profile