La vie est la farce à mener par tous.

理解计算的限制与理解计算的能力同样重要。

In energy, the biggest risk is not taking any risks at all.

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

悲观主义者的决定性特征是，他们倾向于相信坏事会持续很长时间，会破坏他们所做的一切，并且是他们自己的错。

I think that the most important thing is to be honest with yourself and with your audience.