没有承诺，你永远不会开始，但更重要的是，没有坚持，你永远不会完成。
The world doesn’t need more cute things. It needs more truth.
There is no such thing as society: there are individual men and women, and there are families.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
我们必须从过去中学习，为未来创新。
Smart electric vehicles are the biggest opportunity in the next decade, and China has the chance to lead globally.