世界上最成功的社会是那些能够将强大的国家与法治和民主问责制结合起来的社会。
The most successful societies in the world are those that have been able to combine a strong state with the rule of law and democratic accountability.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我一直在思考如何使电池更安全、更高效。
回顾21岁刚刚毕业时的自己，对于今天42岁的我来说，是一个稍微不太舒服的经历。可以说，我人生的前一部分，一直挣扎在自己的雄心和身边的人对我的期望之间。