I'm not afraid to tell my story because it might help someone else.

The only thing worse than being alone is being with the wrong person.

The synergy between theoretical computer science and applied mathematics has led to breakthroughs that were once thought impossible.

形式系统的发展彻底改变了我们对数学的理解。

Robots should be partners, not opponents, to humans.

宇宙是一个比我们可能想象的更加奇妙的地方。

The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.