Mingshuai Chen

Ph.D. Candidate
E-mail: chenms@ios.ac.cn
Supervisor: Prof. Naijun Zhan

"Live as if you were to die tomorrow. Learn as if you were to live forever." ― MAHATMA GANDHI


Research Interests

Delayed Dynamical/Hybrid Systems, Reachability Computation, Program Verification, Interpolant/Invariant Synthesis



Publications



Tools and Case Studies



Education



Correspondence address

Institute of Software, Chinese Academy of Sciences
4# South Fourth Street, Zhong Guan Cun,
Beijing 100190
P.R. CHINA
View Mingshuai Chen's profile on LinkedIn





Last Modified: 2017-06-17