We are all waiting for something, even if we don’t know what it is.

In business, you have to be willing to take risks. If you don't take risks, you won't achieve anything.

全球化思考，本地化行动。

天也有喜怒哀乐的情感，与人类的情感是相通的。

The key to advancing computer science is collaboration across disciplines.

系统设计的未来在于将形式化方法与传统工程实践相结合。