The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
我努力讲述既普遍又非常个人化的故事。
I cannot teach anybody anything。I can only make them think.
We are all waiting for something to save us from ourselves.
The only way to do great work is to love what you do.
奥运会不仅仅是关于胜利，更是关于参与和分享。
我把它当作每天都是一个变得更好的新挑战。
The truth is, if you ask me what I think about anything, I’ll tell you. I’m not afraid to say what I think.
我是一名作家，因为我需要讲故事。这是一种理解生活的方式。
