系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
处理一个不自由的世界的唯一方法是变得如此绝对自由，以至于你的存在本身就是一种反叛。
建筑中最重要的是建筑与其环境之间的关系。
创新是一个社会过程，而不仅仅是技术过程。
中庸：不走极端。对别人的伤害保持隐忍，将此视为应得之事。