形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Nature does not make leaps.
The most dangerous thought you can have as a creative person is to think you know what you're doing.
作为一个有创造力的人，最危险的想法是认为你知道自己在做什么。
Wisdom comes to us when it can no longer do any good.
可持续性不仅仅是一个流行词；它是我们对后代的责任。
Mathematics is the science of patterns, and nature exploits every possible pattern.
The core of the poverty trap: Today’s hunger steals tomorrow’s productivity.