变化的速度永远不会比今天更慢。

Leadership is about empowering others to achieve their full potential.

2004年夏天从波尔图来到伦敦，出席俱乐部为他安排的记者招待会所说。

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

尽人事，听天命，心态平和最重要。