我不相信幸福的结局。我相信真实的结局。

可持续性不是一种趋势，而是负责任的制造业的未来。

I am always searching for new ways to tell a story.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

英国的未来是光明的，但我们必须共同努力才能实现它。

"To be hopeful in bad times is not just foolishly romantic. It is based on the fact that human history is a history not only of cruelty, but also of compassion, sacrifice, courage, kindness."

应对不自由世界的唯一方法是变得如此绝对自由，以至于你的存在本身就是一种反抗。