2007图灵奖得主离开了:模型检测先驱Edmund Clarke因新冠逝世
12 月 23 日,英特尔量子硬件研究组总监 James S. Clarke 发文表示,他的父亲、2007 年图灵奖得主 Edmund M. Clarke 因感染新冠不幸去世,享年 75 岁。
Edmund M. Clarke 生前就职于卡内基梅隆大学(CMU),是该校的终身教授。1981 年,他与自己的博士生 Allen Emerson 首次提出了模型检测的想法并用在自动机并发系统的验证研究上,成为形式逻辑研究方面模型检测(model checking)的开创者之一。模型检测是一种自动验证...