对于自己没有获得2009年诺贝尔奖的反应

We tend to overestimate what we can do in a day， and underestimate what we can achieve in a decade. Miraculous things can be accomplished if you give it ten years. A long game will compound small gains to overcome even big mistakes.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

金融从业者要恪守职业道德，维护金融稳定。

"写作是一种勇气，因为它要求我们面对自己内心最深处的恐惧和欲望。"

你越具体，你就越普遍。