古今的变化，不是改变其根本道理，而是改变其方法。

预测未来的最好方法就是自己去创造它。

Every decision we make in aquaculture has a ripple effect on the ecosystem.

Your work is going to fill a large part of your life, and the only way to be truly satisfied is to do what you believe is great work.

Every role I take on is a journey, a new adventure into the unknown.

模型检查是验证硬件和软件系统正确性的强大工具。

If you wish to succeed, you should use perdistence as your good friend, experiece as your reference, prudence as your brother and hope as your sentry.

我不追随潮流，我创造潮流。

海洋将我们所有人联系在一起；它的挑战需要全球解决方案。

编写无错误程序的方式有两种：只有第三个有效。