The most important thing is to be happy with what you're doing.

我是变革的催化剂……作为一个局外人，你不可能在30多年的时间里取得成功而不在周围留下一定的伤痕。

The only thing that stands between a person and what they want in life is the will to try it and the faith to believe it’s possible.

你能做的最好的投资就是投资自己。

A culture of accountability drives performance.

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

起初一无所有，然后发生了爆炸。