Edmund Clarke，2007年图灵奖获得者，Covid-19的死亡

Slashdot读者McGruber写道：“卡内基梅隆大学计算机科学荣誉学位FORE系统教授Edmund M. Clarke死于Covid-19。” 匹兹堡邮报（Pittsburgh Post-Gazette）的文章：克拉克教授以其模型检查工作而闻名，该模型检查是一种自动检测d ...