The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

The interplay between discrete and continuous mathematics is where some of the most interesting problems lie.

每块石头都有故事——我们的职责是确保这是个值得讲述的故事。

Language is the only homeland we truly possess.

这是我们自己的生活，没人可以说关停就关停。

Human beings, viewed as behaving systems, are quite simple. The apparent complexity of our behavior over time is largely a reflection of the complexity of the environment in which we find ourselves.