I never look back. I look forward.

Flowers always make people better, happier, and more helpful; they are sunshine, food and medicine for the soul.

The best buildings come from a strong concept.

问余此世欲何为，度日安宁呱噪微。

风险管理不是关于避免风险，而是关于理解和管理风险。

人类最深层的需求是克服分离感，走出孤独的牢笼。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。