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

If you have a good idea, and if you do it right, it will just go.

I don't feel like I have to be a part of the celebrity circus.

Collaboration across industries is key to solving the complex challenges facing our oceans.

The ideal of behaviorism is to eliminate coercion: to apply controls by changing the environment in such a way as to reinforce the kind of behavior that benefits everyone.

 我既是旁观者清亦是当局者迷。