I can never be safe; I always try and go against the grain. As soon as I accomplish one thing, I just set a higher goal. That's how I've gotten to where I am.

生活中没有什么事情像你在思考它时认为的那么重要。

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

Architecture is the making of the form of the city.

心理现象是大自然的生存实验。