Mingshuai Chen

Registered user since Fri 27 Nov 2020

Name: Mingshuai Chen

Bio: Mingshuai Chen is currently a postdoctoral researcher at the Chair for Software Modeling and Verification, Department of Computer Science, RWTH Aachen University, Aachen, Germany. He received the Ph.D. degree in computer science from the Institute of Software, Chinese Academy of Sciences in 2019, and B.Sc. in computer science from the School of Computer Science and Technology, Jilin University in 2013. His main research interests include modelling, verification and synthesis of hybrid systems, probabilistic program reasoning, and time-delayed systems. He was the awardee of the Distinguished Paper Award at ATVA 2018 and the CAS-President Special Award in 2019.

Country: Germany

Affiliation: RWTH Aachen

Personal website: https://moves.rwth-aachen.de/people/chenms/

Research interests: Verification and Synthesis, Probabilistic Programs, Hybrid Systems


VMCAI 2021 Committee Member in Artifact Evaluation Committee within the VMCAI-track