形式化方法的美在于它们能够提供关于系统行为的绝对保证。

Tell the cook of this restaurant with my compliments that these are the very worst sandwiches in the whole world, and that when I ask for a watercress sandwich I do not mean a loaf with a field in the middle of it.

A scientist’s work is never done.

You don’t always have to know where you’re going, as long as you keep moving forward.

我们都在寻找某样东西，但我们不知道它是什么。

我相信一个人可以通过真实的角色、真实的情感和真实的情境来创作一部伟大的歌剧。

数据驱动的政策对于确保海洋资源的长期可持续性至关重要。

创新不仅仅是技术的问题；它关乎我们思维和运营方式的变革。