Mingshuai Chen

Registered user since Mon 27 Feb 2023

Name:Mingshuai Chen

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
Research interests:Verification and Synthesis, Probabilistic Programs, Hybrid Systems


Show activities from other conferences

POPL 2023-profile
View general profile