The challenge in model checking is not just to find errors, but to understand why they occur.

不要害怕承担经过计算的风险；真正的成长就在那里。

化工行业必须在可持续性方面引领潮流，否则我们都会付出代价。

数学发现的过程不是关于到达目的地，而是关于旅程本身。

通货膨胀是夜间的窃贼。

漂亮的女人休要让她老去，风流浪的子不要让他贫困。

艺术家最伟大的工具不是画笔或凿子，而是思想。