"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

It is by no means an irrational fancy that, in a future existence, we shall look upon what we think our present existence, as a dream.

实现明天的唯一限制将是我们今天的疑虑。

长期成功的关键是为社会创造价值。

我们必须不断挑战艺术世界的等级制度。

宇宙的平衡和谐是基本原则。

沉默可以是一种抵抗形式。