令人惊讶的是，像我们这样的人，通过努力不断地避免愚蠢，而不是试图变得非常聪明，获得了多么巨大的长期优势。
It is remarkable how much long-term advantage people like us have gotten by trying to be consistently not stupid, instead of trying to be very intelligent.
我相信艺术改变世界的力量。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
True innovation happens when diverse minds come together.