"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

数学的美在于它能够将复杂的思想简化为优雅的结构。

Education is the kindling of a flame, not the filling of a vessel.

The best architecture comes from the synthesis of all the forces that are acting upon it.

Power is not a means; it is an end. One does not establish a dictatorship in order to safeguard a revolution; one makes the revolution in order to establish the dictatorship.

我不害怕站出来。每个人都来握住我的手。我们将一起走过这条路，穿越风暴。无论什么天气，寒冷或温暖。只想让你知道，你并不孤单。

Sustainability isn’t a trend; it’s the only way forward.

引用乔布斯名言并赋予新解：保持求知欲和年轻心态