模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
我相信努力、纪律和尊重。
光是形式的伟大揭示者。
I don't want to be a pop star, I want to be a legend.
不必担忧财富不多，只须担忧财富不平均，不必担忧人口稀少，只须担忧境内不安宁。……既来了，要使他们安家乐业。
A biennale should be a mirror of its time, not a fashion show.
Protection of financial consumers' rights is an important guarantee for the healthy development of financial technology.
Customer satisfaction should always be at the heart of every decision.