可持续性不再是可选项；对于任何想在21世纪蓬勃发展的企业来说，它都是必需品。

Cada hombre lleva dentro de sí todas las edades de la humanidad.

我不是情感，我是理念。

控制的目的是使系统在存在不确定性和干扰的情况下仍能按期望的方式运行。

永远不要停止学习——世界一直在变化。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

策展就是实践一种智识上的好客。

你沾沾自喜，别人乐于喜欢你；你攻击你周围的某个人，其他的人哈哈大笑；但倘若你解剖你自己的灵魂，所有的人就会嗷嗷叫。——作者原注