发明家的职责是使他的工作尽可能对公众有用和可及。
Forests teach us patience—growth takes time.
I've been waiting more than 30 years to say this: "Dad, I always told you I'd come back and get my degree." I want to thank Harvard for this timely honor. I'll be changing my job next year…and it will be nice to finally have a college degree on my resume.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
It is one thing to show a man that he is in an error, and another to put him in possession of truth.
向一个人展示他在错误中是一回事，让他掌握真理是另一回事。
最好的书是挑战你的书。
The safety of our workers must always come first, no matter the cost.
我不想成为老板。我想成为兄弟。
译文：势单力薄容易受到损害，人多势众则不容易被摧毁。