挑战是伪装的机会，勇敢地拥抱它们。

In mathematics, the journey is just as important as the destination; the process of discovery is where the real learning happens.

一场展览应该让观众发生转变。

To fulfill the highest most truthful expression of yourself as a human being. You want to max out your humanity by using your energy to lift yourself up， your family and the people around you.

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

如果爵位不高，那么人民就不敬重他；如果俸禄不重，那么人民就不会信任他；如果在理事时没有决断权那么人民不会敬畏他。 

"A novel is never finished; it is only abandoned."

好好耕耘12个爱你的人的关系，因为这12个人远比1200万人喜欢你重要得多。