未来的银行将是无处不在的服务。

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

When given the choice between being right or being kind , choose kind.

每一个展览都是一个实验，一个关于艺术如何与世界互动的假设。

世界对于思考者是喜剧，对于感受者是悲剧。