2007 年图灵奖得主 Edmund Clarke 因感染新冠死亡，享年 75 岁。卡内基梅隆大学的计算机科学荣誉教授 Edmund Clarke 因在模型校验上工作而在 2007 年与 E. Allen Emerson 和 Joseph Sifakis 共同获得图灵奖，模型校验是一种检查计算机硬件和软件中的设计错误的自动方法。在 1980 年代初期，Clarke 与他的哈佛研究生 E. Allen Emerson——以及独立工作的法国格勒诺布尔大学的 Joseph Sifakis——开发出模型校验，帮助改进复杂计算机芯片、系统和网络的可靠性。微软和英特尔等公司都使用模型校验去验证计算机网络和软件的设计。