I don't take anything for granted. I work for everything I achieve.

真理是永恒不变的。

Success is not measured by profits alone, but by the positive impact we have on society.

Innovation is not from 0 to 1, but from 1 to 100. Continuous iteration is the key.

All are gurus to us, the wicked by their evil deeds say 'do not come near me'. The good are always good, therefore all are like gurus to us.

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

创新源于解决实际问题。

最大的炫耀就是对自己感到快乐。