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



Publications



Tools and Case Studies



Education



Correspondence address

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





Last modified on Oct. 30, 2018.