最好的科学家是那些在自然的复杂性面前保持谦逊的人。
The best scientists are those who remain humble in the face of nature’s complexity.
The best reward is seeing my fans smile.
一个人的力量，是他当前的手段，以获得未来明显的好处。
The best architecture is innovative.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
我认为制作一部好电影的关键是确保每一个场景都尽可能好。