诺贝尔奖不是旅程的终点;它是一个新的开始。
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
我认为科学具有极大的美。实验室里的科学家不仅是一名技术人员:他还是一个站在自然现象面前的孩子,这些现象对他来说就像童话一样令人印象深刻。
幸福不是一种权利;它是一种罕见而珍贵的例外。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
The causal revolution is about giving machines the ability to reason about the world as we do.
I don't know if I'm the best or not, but I always try to be better.