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

Modelling · Verification · Synthesis of Hybrid Systems: Reachability Computation; Program Reasoning; Interpolant/Invariant Synthesis; Time-Delayed Systems


Tools and Case Studies


Correspondence address

Institute of Software, Chinese Academy of Sciences
No. 4 South Fourth Street, ZhongGuanCun,
Beijing 100190
View Mingshuai Chen's profile on LinkedIn

Last modified on May 12, 2019.