我认为最好的演员是那些愿意冒险的人。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
活着是世界上最稀有的事情。大多数人只是存在，仅此而已。
天真之人的信任是说谎者最有用的工具。
真正的挑战是让复杂的东西看起来简单。
真正的风险来自于不知道自己在做什么。
The best way to help people is not to do things for them, but to help them do things for themselves.
The AdS/CFT correspondence is a powerful tool for understanding quantum gravity.
The very important thing you should have is patience.