—— 请按键盘 空白键 开始游戏 ——

I never imitate others because I'm unique.
I'm not in competition with anybody but myself. My goal is to beat my last performance.
The great use of life is to spend it for something that will outlast it.
Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
To create is to participate in the transformation of the world.