"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

在黑暗中，我们才能真正看清自己。

趋势是你的朋友。

The struggle for survival is the essence of life.

I think that the function of art is to make life more interesting than art.

拍照就是占有被拍摄的东西。

The greatest thing you'll ever learn is just to love and be loved in return.

我不是一个将就的人。

一个有创造力的人是由成就的欲望驱动的，而不是由击败他人的欲望驱动的。