模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
Success is not about the amount of money you have, it's about the amount of lives you impact.
人生短暂，不要停留在舒适区。
My parents are my backbone. Still are. They’re the only group that will support you if you score zero or you score 40..
我在创作时不会考虑音乐类型。
世界上充满了显而易见的事情，但没有人会注意到它们。
"The past is a script we can’t stop rewriting."
The best and most beautiful things in the world cannot be seen or even touched - they must be felt with the heart.