Regular biography
Chen Mingshuai is a Faculty member at Zhejiang University, affiliated with the College of Computer Science and Technology. He holds the title of ZJU100 Young Professor and serves as a Doctoral supervisor. Currently, he is the Vice Dean of the Binjiang Institute of Zhejiang University. His research interests include Logical Aspects of Computer Science, Formal Verification and Synthesis, Programming Theory/Languages, Probabilistic/Quantum Systems, and Cyber-Physical Systems. His personal homepage provides additional details about his academic profile and work.
Scholar-generated biography
Mingshuai Chen is an Assistant Professor of Computer Science at Zhejiang University, specializing in Programming Theories, Hybrid Systems, Logic, Verification, and Synthesis. His research focuses on the formal verification of probabilistic and hybrid systems, with an emphasis on reachability analysis, invariant synthesis, and automated reasoning techniques. Chen's work includes developing tools for modeling, analyzing, and verifying hybrid systems, as well as exploring methods for verifying probabilistic programs using generating functions and inductive invariants. His contributions address challenges in safety verification, delay differential equations, and the synthesis of control strategies for complex dynamical systems.