你可以在某一时间欺骗所有人；也可以在所有时间欺骗某些人；但你不可能在所有时间欺骗所有的人。
You can fool all the people some of the time, some of the people all the time, but you cannot fool all the people all the time.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
我不相信幸福的结局，但我相信幸福的旅程，因为最终，你要么在很年轻的时候就死去，要么活得足够长，看着你的朋友们死去。
过去从未死去。它甚至不是过去。
唯一让我活下去的就是音乐。
Collaboration across industries is the key to solving complex environmental challenges.
可持续性不是一种趋势；而是我们对地球和未来农民的责任。