创新是银行业未来的关键。我们必须拥抱科技以保持竞争力。

A company's culture is defined by the actions of its leaders.

建筑必须为多数人服务，而不仅仅是少数人。

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

我不喜欢第二，我喜欢第一。