"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

We are all creatures of our landscape; it dictates behavior and even thought in the measure to which we are responsive to it.

I think the most important thing is to be honest with yourself and with others.

You can't build any kind of organization if you're not going to surround yourself with people who have experience and skill base beyond your own.

我不需要融入，我生来就是为了与众不同。

Sustainability is not a sacrifice—it's an opportunity.