能源行业的领导力意味着今天做出艰难的决定，为了更美好的明天。

保持开放的心态，接受不同的意见。

表演不是要成为不同的人。它是在明显不同的事物中找到相似之处，然后在那里找到自己。

实现明天的唯一限制将是我们今天的疑虑。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

数字革命比文字的发明甚至印刷术的发明更为重要。