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.
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|