处处为家就是无处为家。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

我认为保持脚踏实地并记住你来自哪里是很重要的。

I'm not afraid to fall apart, because I know I'll always put myself back together.

And I hope you will come back here to Harvard 30 years from now and reflect on what you have done with your talent and your energy. I hope you will judge yourselves not on your professional accomplishments alone, but also on how well you have addressed the world's deepest inequities…on how well you treated people a world away who have nothing in common with you but their humanity.

每个词都是通向自由的一步。