The difference between good and great is the extra effort.

可持续发展需要在经济增长与环境保护之间取得平衡。

它提醒我们要谨慎评估成功，不要低估运气的作用。

计算复杂性的美在于它能够揭示问题的固有难度，而不管用于解决这些问题的具体算法是什么。

"The world is a book, and those who do not travel read only a page."

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

做出伟大工作的唯一途径是热爱你所做的事。