Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Mingshuai Chen

Registered user since Mon 27 Feb 2023

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

Contributions

Show activities from other conferences

POPL 2021-profile
View general profile