除非我们愿意为之而死，否则我们不能确定我们有值得为之而活的东西。
We cannot be sure of having something to live for unless we are willing to die for it.
When life seems hard, the courageous do not lie down and accept defeat; instead, they are all the more determined to struggle for better future.
Technology is a tool, talent is the soul—only their combination creates value.
The challenge in model checking is not just to find errors, but to understand why they occur.
领导力就是让他人因为你的存在而变得更好，并确保这种影响在你离开后依然持续。
翻译：天空高高在上而大地在人们脚下，乾坤所代表的天地的位置就确定了；把在人们脚下的和高高在上的罗列出来，高下与卑贱事物的地位就排定了；运动与静止有规律，阳刚和阴柔就明确分开了。
Be thankful for an in process. I try to take every conflict， every experience， and learn from it. Life is never dull.
Sustainability isn't a choice—it's our responsibility to future generations.