Art is the proper task of life.

一家公司真正的价值在于它的员工，而不仅仅是资产负债表。

生命太短暂，不能活在他人的梦想里。

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

I don't think about being a role model. I just try to be the best person I can be.

I think it's important to take risks and to challenge yourself. That's how you grow as an artist and as a person.

With a library you are free, not confined by temporary political climates. It is the most democratic of institutions because no one - but no one at all - can tell you what to read and when and how.