Art should be something that liberates the soul, provokes the imagination and encourages people to go further.

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

质量不是选择；它是要求。

我不怕失败，我怕不去尝试。

The world is full of people who have never, since childhood, met an open doorway with an open mind.

数学家的模式，就像画家或诗人的模式一样，必须是美丽的；思想，就像颜色或文字一样，必须以和谐的方式结合在一起。

我是早起的鸟儿，也是夜猫子。所以我既聪明又有虫子。

盈利和可持续性必须齐头并进，它们并非相互排斥。