I'm not a girl who needs to be saved. I'm a girl who saves herself.
我不是完美主义者，但我喜欢把事情做好。
最有趣的艺术是不给你所有答案的艺术。
Keep cool, but care.
实现明天的唯一限制是我们今天的疑虑。
The pen is mightier than the sword if the sword is very short, and the pen is very sharp.
The challenge in model checking is not just to find errors, but to understand why they occur.
The biggest opportunities often hide in crises—the key is whether you can discover and seize them.