"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

It's not about being the first woman, it's about being a good mathematician.

出自《论语·述而》。通过不正当的手段，去获得名利地位，对于我来说，就像是浮云一样。

真正的领导力意味着以清晰和同理心做出艰难的决定。

有时我希望有人能找到我。