自分を信じることが、成功への第一歩だ。

慎防欲念如同牵拉逆水之舟，一旦停下来便会倒退；着力行善如同攀缘无枝节的树，一旦停下来便会下滑。

在数学中，没有捷径可走。

I think that the most important thing is to be grateful for what you have.

I think the most important thing is to be honest with yourself and to be honest with the people around you.

科学应该对所有人开放，无论背景如何。

There is no such thing as innocence, only degrees of guilt.

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

领导力不是发号施令，而是激励他人成就伟大。