人类大脑由许多专门化的神经回路组成，这些回路进化出来是为了解决我们祖先在进化历史中面临的特定问题。

系统设计的未来在于将形式化方法与传统工程实践相结合。

无人机的未来不是替代人，而是帮助人更好地完成工作。

The only real joy is the joy of creation.

The most valuable of all talents is that of never using two words when one will do.

每一个巨大而深刻的困难本身都包含着它的解决方案。它迫使我们改变思维以找到解决方案。