我认为我职业生涯中最好的时刻是那些我完全被某些事情惊讶到的时刻。

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

我不害怕死亡。我唯一害怕的是转世回来。

Take one simple thing — almost anything — but take it extremely seriously， as if it was the only thing in the world， or maybe the entire world is in it — and by taking it seriously you’ll light up the sky.

Do your thing and don't care if they like it.

The universe is not required to be in perfect harmony with human ambition.

如果你想获得某样东西，最可靠的办法是让自己配得上它。

你不用害怕，宝贝。死亡只是生命的一部分，是我们注定要面对的，我并不知道，但我注定要做你的妈妈，我就尽力做好。我相信你能实现自己的命运，你要凭着上帝所给予的做到最好。