我希望被人们记住为一个改变游戏规则的人。

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

“谁如命运似的催着我向前走呢？““那是我自己，在身背后大跨步走着。”

If you do what you've always done, you'll get what you've always gotten.

人情像纸一样十分脆薄，世界上的事如棋局一样变化万千。

所有的突破在一开始都是看起来很可笑和荒谬的。事实上如果它在一开始看起来不够可笑和荒谬的话，它也称不上是一种突破。

True progress happens when we listen to both scientists and farmers.

自信不是天生的，是慢慢培养出来的。