人类要学会从自然中学习。

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

舞台是我感觉最有活力、最真实的地方。

Architecture is not about imposing, it is about listening.

解释：不可以不知道活着的乐趣，也不可以不知道虚度光阴的担忧。