我喜欢压力。我喜欢那些重要时刻。

我们鱼类的健康反映了我们水域的健康，它们是不可分割的。

We don't receive wisdom; we must discover it for ourselves after a journey that no one can take for us or spare us.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

I think that we communicate only too well, in our silence, in what is unsaid, and that what takes place is a continual evasion, desperate rearguard attempts to keep ourselves to ourselves.

数学家的工作大多是孤独的追求，但也具有深刻的合作性。

"Art is not about what you see, but what you make others see."