"The past is always present in our lives, shaping our future."
过去总是在我们的生活中存在,塑造着我们的未来。
不管怎样,我对哈佛的回忆主要都与充沛的精力和智力活动有关。哈佛的生活令人愉快,也令人感到有压力,有时甚至会感到泄气,但永远充满了挑战性。生活在哈佛是一种吸引人的特殊待遇……虽然我离开得比较早,但是我在这里的经历、在这里结识的朋友、在这里发展起来的一些想法,永远地改变了我。
The method of introspection must be rigorously standardized.
未来属于那些能够在盈利和环境责任之间取得平衡的人。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."