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

Every role I take is a piece of me.
我扮演的每一个角色都是我的一部分。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
The more you can align your personal values with your work, the more fulfilling your life will be.