The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
我很有竞争力和雄心,但我没有成为第一的欲望。我只想做真正有趣的工作并挑战自己。
The real reward in science is contributing to something greater than yourself.
我不是一个榜样。我是一个父亲,一个丈夫,一个儿子,一个兄弟,一个朋友。我是一个人。我会犯错。我有缺点。我不完美。但我努力成为我能成为的最好的人。
"We are all agreed that your theory is crazy. The question which divides us is whether it is crazy enough to have a chance of being correct."
公众在得到之前并不知道自己想要什么。
"What you don't know can't hurt you, but it can kill you."
生活是世界上最罕见的事情。大多数人只是存在,仅此而已。