我一直在思考如何使电池更安全、更高效。
I always think about how to make batteries safer and more efficient.
我不想成为大师。我想成为学生。
人的喜怒哀乐的感情没有表现出来，叫做中；表现出来合乎法度，叫做和。达到中和，天地就各居自己的位置，万物也就生长了。
编程的艺术是组织复杂性的艺术，是掌握多样性并尽可能有效地避免其混乱的艺术。
模型检查是验证硬件和软件系统正确性的强大工具。
The only limits you have are the ones you set for yourself.
People calculate too much think too little.
性别平等的未竟事业是我们这个时代的决定性挑战之一。
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.