科学不仅是理性的学科，也是浪漫和激情的学科。
世界上充满了那些不再倾听自己内心声音的人，或者只倾听邻居的声音来了解他们应该做什么、应该如何行为以及应该遵循什么价值观的人。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Success comes when you focus on the long-term, not just the quarterly results.
The power of love can change the world.
"The art of the novel is the art of being simultaneously inside and outside of things."
The only man who behaves sensibly is my tailor; he takes my measure anew every time he sees me, while all the rest go on with their old measurements.
The most elegant mathematical proofs are those that reveal truth with simplicity.