在任何科学事业中取得成功都需要非凡的能力、勤奋和精力。
Success in any scientific career requires an unusual equipment of capacity, industry, and energy.
The end of history will be a very sad time. The struggle for recognition, the willingness to risk one's life for a purely abstract goal, the worldwide ideological struggle that called forth daring, courage, imagination, and idealism, will be replaced by economic calculation, the endless solving of technical problems, environmental concerns, and the satisfaction of sophisticated consumer demands.
我们都是自己故事中的英雄。
领导力在于让他人因为你的存在而变得更好,并确保这种影响在你离开后依然持续。
我一直相信,只要你付出努力,结果自然会来。
我不是来追求完美的,我是来展现真实的。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."