向更平等的世界转变将一个人一个人地发生。随着每一位女性向前一步,我们就更接近真正平等的更大目标。
永远不要在质量上妥协。它是我们所做一切的基础。
The future of computing lies in the development of systems that can verify their own correctness.
The future is not something we enter. The future is something we create.