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

2020-12-28 05:07:40

卡内基梅隆大学名誉教授埃德蒙·克拉克（Edmund M.Clarke）赢得了计算机科学的诺贝尔奖，他于周二死于COVID-19 ...

https://www.post-gazette.com/news/obituaries/2020/12/23/Edmund-M-Clarke-obituary-CMU-professor-emeritus-Turing-Award/stories/202012230157