"The beauty of science is that it allows us to understand the world in a way that is both profound and practical."

端正自己的行为而不谋求私利，阐明正道而不计较功利

记忆是脆弱的，但它也是我们理解过去最强大的工具。

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

有成就感的人会把世界看成一个友好的世界，并乐于看到它照原样保持下去，但失意者却会乐于看到世界急遽改变。