最好的领导者是那些倾听多于发言的人。

The only way to do great work is to love what you do.

I think， I think when it’s all over， it just comes back in flashes. You know， it’s like a kaleidoscope of memories. But it just all comes back. But he never does.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

对模糊性的不容忍是专制人格的标志。

我们期望晚餐不是出自屠夫、啤酒商或面包师的仁慈，而是出自他们对自身利益的考虑。