The future of computing lies in the development of systems that can verify their own correctness.

思考你现在的幸福，每个人都有很多；而不是过去的苦难，每个人都会有一些。

对那些来访牛津大学的外国友人，我有一个坏消息，这里的人都很势利。有时候，英国以外的人会想象，势利是英国人特有的个性，来自那些乡间别墅和头衔爵位。坏消息是，并不只是这样，势利是一个全球性的问题，我们是个全球性的组织，这是个全球性的问题，它确实存在。势利是什么？，势利是以一小部分的你，来判别你的全部价值，那就是势利。

你必须为每一分而战，就像它是最后一分一样。

我从未停止学习和进步。

数字化转型正在彻底改变我们的行业，我们必须接受它，否则就有落后的风险。

技术可以帮助我们监测和管理渔业，但真正的变革来自于我们共同的意志。