建筑不应强加于景观,而应从景观中浮现。
A building should not impose itself on the landscape, but should emerge from it.
未来是一个概念——它只存在于我们的脑海中。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
The key to success is to keep growing in all areas of life - mental, emotional, spiritual, as well as physical.
To write is to bear witness to the world and to oneself.