The joy of science is in the journey, not just the destination.

I don't need a map. I create my own path.

他就像一个在公园里无忧无虑漫步的人一样，好像穿着一件隐形的外套，可以屏蔽监狱里的纷扰。

Your work is going to fill a large part of your life, and the only way to be truly satisfied is to do what you believe is great work.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

"The truth is rarely pure and never simple."

量子力学的本质在于它不描述单个粒子的行为，而是描述它们行为的概率。