我不是一个生活在恐惧中的女孩。我是一个生活在自由中的女孩。

There are unknown forces in nature; when we give ourselves wholly to her, without reserve, she lends them to us; she shows us these forms, which our watching eyes do not see, which our intelligence does not understand or suspect.

The future competition is about talent; whoever has top talent holds the initiative.

追求知识是一段永无止境的旅程，每一个发现都为新的问题打开了大门。

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

我不知道在世人眼中我是什么样子，但对我自己来说，我似乎只是一个在海边玩耍的男孩。

每个人的生命结局都是一样的。彼此的差异只在于是怎样的生又是怎样的死这些细节上面。

成功的真正标准是你能从失败中重新站起多少次。