胆识要大，心思要细密；智慧要圆融，行为要方正。

"The past is not something that simply disappears; it is something that we carry with us, always."

The challenge of architecture is to balance function and poetry.

The artist must be a shadow of the divine.

当获得一些成功，你很可能会犯“顶替者综合症”（觉得自己名不副实）。“我在愚弄谁呢？” 但当你创造出只有你以独特才干和经验才能做到的事情时，那么你绝对不是冒牌货，这是天命所归。持续去做只有你才能做出来的事情吧，这是你的使命。

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