Truth is the daughter of time.

一般人的毛病，就是容易受局部的蒙蔽，因而不能明白大道理。眼光不妨放长远一些，站得高一些，能看得更广，格局更大。

The best way to predict the future is to create it.

领导力在于激励他人实现超越自我想象的成就。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

一个企业必须要有参与感，必须要有趣，必须锻炼你的创造本能。