The challenge in model checking is not just to find errors, but to understand why they occur.

科学应该对所有人开放，无论背景如何。

胜利很棒，但从失败中学习更重要。

我们的存在是被其他人的目光定义的。

Stories you read when you're the right age never quite leave you. You may forget who wrote them or what the story was called. Sometimes you'll forget precisely what happened, but if a story touches you it will stay with you, haunting the places in your mind that you rarely ever visit.

建筑是以有意义的方式组织空间的艺术。

今天对自由民主最严重的威胁不是来自共产主义或法西斯主义等敌对意识形态，而是来自内部——来自民粹主义的兴起和民主规范的侵蚀。

合作是释放创造力和实现卓越的关键。