写作是进入未知的旅程，是在充满神秘的世界中寻求理解。

如果你去看，世界是非常非常美丽的，但大多数人并不怎么去看。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

一部伟大的电影是那种留在你身边，改变你，让你以不同的方式看世界的电影。

A building must be a reflection of the human spirit.

【释义】担负重任的人考虑得长远，考虑长远的人往往会忽视眼前的事物。