I prefer to supervise the whole operations of the government myself rather than entrust the public business to subordinates, and this makes my duties very great.

The artist must be a child of the mystery.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

伟大的公司建立在信任的基础上——对科学的信任、对人的信任以及对使命的信任。

它让我如鱼得水。

最终，我们所拥有的只有我们讲述的故事。

写作是一种留住那些本会消失的瞬间的方式。

每个故事都是一次旅程，每次旅程都会改变我们。