数学的研究就像空气或重力——它无处不在，你看不到它，但你知道它在那里。
The study of mathematics is like air or gravity—it is everywhere, and you can't see it, but you know it's there.
可持续性不仅仅是一个选择，而是负责任企业前进的唯一途径。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
科学人应当没有愿望、没有情感，只剩一颗如石之心。
Every ton of aggregate we produce carries the weight of responsibility—to our customers and our communities.
在为增加粮食生产的机构和为控制人口的机构联合起来共同努力之前，抗击饥饿的斗争不可能取得永久性进展。