成功来自于解决实际问题，而不仅仅是追逐趋势。
Success comes from solving real problems, not just chasing trends.
科学不仅仅是关于事实，更是关于提出正确的问题。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
命名的行为是创造的第一个行为。
过去的知识与我们同在，激励我们取得新的成就。
在野外，没有捷径。你必须为每一步付出努力。