I think the best moments in my career are the ones where I'm just completely surprised by something.

Writing is a way of being happy.

世界上没有压力，只有人们在想着有压力的想法。

不断学习。这是在快速变化的世界中保持相关性的唯一方法。

Human cognition is best understood as a hierarchy of information processing levels.

The challenge in model checking is not just to find errors, but to understand why they occur.

成功的关键是走进商店，听听员工们怎么说。每个人都参与进来是非常重要的。最好的想法来自基层。

An actor I know is a dimwit who can't count higher than the fingers on his hands. But once he gets on stage, the audience goes so wild, you'd think the house would split in two.

你今天感受到的痛苦将成为你明天感受到的力量。