Leadership is not about giving orders; it's about inspiring others to achieve what they thought was impossible.

对自然的研究是永恒的乐趣。

雄心不仅带我走得比前人更远，还带我到达我认为人类可能到达的极限。

模型检查是验证有限状态并发系统正确性的强大技术。

What's terrible is to pretend that second-rate is first-rate. To pretend that you don't need love when you do; or you like your work when you know quite well you're capable of better.

我不是女权主义者，但我确实相信女性的力量。