"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, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, and Naijun Zhan (2019): NIL: Learning nonlinear interpolants. To appear in Proc. of CADE 2019.