The biggest risk is not taking any risk.

The whole conviction of my life now rests upon the belief that loneliness, far from being a rare and curious phenomenon, peculiar to myself and to a few other solitary men, is the central and inevitable fact of human existence.

Rather than steering your life to avoid surprises， aim directly for them.

安全不是成本；它是对我们最宝贵资源——我们员工的投资。

I don't listen to what people say. I just go out there and do my best.

The more you know about yourself, the more patience you have for what you see in others.

France cannot be France without greatness.

模型检查是验证有限状态并发系统正确性的强大技术。

Innovation is the key to sustainable development.