能源的未来在于来源、技术和商业模式的多样化。
The future of energy lies in diversification - of sources, technologies, and business models.
我从未过多思考过我会如何死去，但为我所爱的人而死似乎是个不错的死法。
When you want something, all the universe conspires in helping you to achieve it.
你无法改变你的来处，但你可以改变你的去向。
The challenge in model checking is not just to find errors, but to understand why they occur.
我不害怕风暴，因为我在学习如何驾驶我的船。
最大的风险就是不冒任何风险。在一个快速变化的世界里，唯一注定失败的策略就是不冒险。