"Haters gonna hate, hate, hate, hate, hate. Baby, I'm just gonna shake, shake, shake, shake, shake. Shake it off."

我不是来完美的，我是来勇敢的。

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

You don’t have to be the best, but you have to be the best you can be.

The most successful companies will be those that adapt quickly to the changing energy landscape.

The only constant is change, continuing change, inevitable change, that is the dominant factor in society today. No sensible decision can be made any longer without taking into account not only the world as it is, but the world as it will be.