Leadership in times of change requires both vision and the courage to make difficult decisions.

I'm not a role model. I'm a father, a husband, a son, a friend. I'm trying to be the best I can be in those roles.

It is a truth universally acknowledged, that a single man in possession of a good fortune, must be in want of a wife.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

气象学的未来在于观测、理论和应用的结合。

We are all alone in the universe, and the only thing that can bridge the gap between us is love.

你做什么，你就是什么。不是你说什么，不是你相信什么，不是你如何投票，而是你把时间花在什么地方。