I've always been a fighter.

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

Happiness is not something you postpone for the future; it is something you design for the present.

I believe in the power of dreams and hard work.

The most important thing is to be happy with what you're doing.

你唯一的限制是你给自己设定的那些。

The only limits in life are the ones you set for yourself.

我们生活得越快，感受得越少。