I don't think about my legacy. I just try to do good work.

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

The good life is a process, not a state of being. It is a direction, not a destination.

The most sustainable building is one that people love enough to maintain for generations.

没事要戒掉一个“偷”字，有事要戒掉一个“乱”字。

可持续发展不仅仅是一种趋势，而是我们对后代的责任。

奥林匹克主义旨在创造一种生活方式，其基础是在努力中找到的快乐、好榜样的教育价值以及对普遍基本道德原则的尊重。