We are all mosaics of genetic inheritance.

There is no such thing as a moral or an immoral book. Books are well written, or badly written.

What good's an opinion if you can't change it?

Turn your wounds into wisdom.

跨行业合作是解决我们在粮食安全方面面临的全球挑战的关键。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

You can’t be afraid to take a loss. The people who are afraid to take a loss are the ones who get killed in this business.

数学的统一性不是强加的，而是被发现的。