Technology itself is neither good nor evil, the key lies in the people who use it.

The poor have no choice but to be honest. The rich can afford to be dishonest.

The best way to predict the future is to create it.

The challenge in model checking is not just to find errors, but to understand why they occur.

好奇心是每一次重大科学进步背后的驱动力。

如果你因失去了太阳而流泪，那么你也将失去群星了。