SPLASH 2023 (series) / 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
Personal website: https://fiction-zju.github.io/author/mingshuai-chen/
Research interests:Logic, Verification and Synthesis, Programming Theory, Quantitative Reasoning, Hybrid Systems
Contributions
SPLASH 2023-profile
View general profile
View general profile