"Live as if you were to die tomorrow. Learn as if you were to live forever." ― MAHATMA GANDHI
Modelling · Verification · Synthesis of Hybrid Systems: Reachability Computation; Program Reasoning; Interpolant/Invariant Synthesis; Time-Delayed Systems
 Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, and Naijun Zhan (2019): Indecision and delays are the parents of failure - Taming them algorithmically by synthesizing delay-resilient control. Acta Informatica. Under minor revision.
 Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, and Ting Gan (2019): From model to implementation: A network-algorithm programming language. SCIENCE CHINA Information Sciences. Under minor revision.
 Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, and Naijun Zhan (2019): NIL: Learning nonlinear interpolants. To appear in Proc. of CADE-27.