城市是最终的客户，是任何建筑作品的终极背景。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

No one is an artist unless he carries his picture in his head before painting it.

Science is not about being right; it's about being less wrong.

I’m grateful for every moment.

作家是一个精神上的无政府主义者，就像每个人灵魂深处都是。他对一切和每个人都感到不满。作家是每个人的替罪羊，也是每个人的先知。

我是另一个。对变成小提琴的木头来说太糟糕了，对那些无意识的人嗤之以鼻吧，他们对自己完全无知的事情诡辩！

企业的成功不仅取决于外部环境，更取决于内部管理。

Reason is the cold sun, it gives light but no warmth.