Theorems excited me; proofs bored me. My mind was not built for the tedious, meticulous work of proving what I knew to be true.
定理让我兴奋；证明让我厌倦。我的头脑不适合做那些繁琐、细致的工作，去证明我已经知道是正确的东西。
衡量你投资成功的最佳方式不是看你是否击败了市场，而是看你是否制定了一个财务计划和行为纪律，这些可能带你到达你想去的地方。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
Facts do not speak for themselves. They speak for or against competing theories. Facts divorced from theories or visions are mere isolated curiosities.
不要害怕问愚蠢的问题。因为99%的情况下其他人也想问同样的问题，只是因为怕尴尬而羞于提问。
The true joy of research comes from pushing the boundaries of what we thought was possible.
一种善行没有内心的支持就不会长久,一种行为如果得不到自身的了解就无法树立。