记忆不仅是个人的事情，也是集体的事情。

The challenge in model checking is not just to find errors, but to understand why they occur.

森林不属于我们；我们属于森林。

这是最好的时代，也是最坏的时代；这是智慧的时代，也是愚蠢的时代；这是信仰的时代，也是怀疑的时代；这是光明的季节，也是黑暗的季节；这是希望的春天，也是绝望的冬天；我们什么都有，也什么都没有；我们正走向天堂之路，也正走向地狱之门。

"Leadership is about inspiring others to achieve what they didn't think was possible."

In programming, everything we do is a special case of something more general -- and often we know it too quickly.

不要让别人的意见淹没了你内心的声音。