We need to create a world where women are not just users of technology, but creators of it.

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

但谁会为撒但祈祷呢？十八个世纪以来，有谁具有共同的人性，为一个最有需要的罪人祈祷？

农民的智慧往往比最新技术更持久。

追求科学不是一种奢侈，而是人类生存的必要条件。

The best way to find out if you can trust somebody is to trust them.