系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
The writer must be a perpetual outsider, a critic of all orthodoxies.
译文：凶恶之人会令其他人害怕，可上天不会惧怕，良善之人会被其他人欺负，但上天不会欺负。赏析：人的善恶，上天会明察秋毫，也自有报应。那些蛮横霸道之人，总会有人收拾他，而那些善良的人，自会有余福。
Success is not just about what you achieve, but how you achieve it.
设定一个野心得荒谬的目标的好处是，上限足够高，这样即使最后失败了，以通常的标准来衡量也可以算某种程度上的成功。
在科学管理下，计划室中专门负责提前计划的人总是发现，通过劳动细分可以使工作做得更好、更经济。
计算理论的美在于其抽象和概括的能力，将具体问题转化为通用解决方案。
我相信，如果你保持信仰，保持信任，保持正确的态度，如果你心存感激，你会看到上帝为你打开新的门。
我们不应当如梦游一般地行事和言语。