【哀悼！#2007年图灵奖得主感染新冠逝世#】当地时间12月23日，2007年图灵奖得主Edmund M. Clarke（爱德蒙·克拉克）因感染新冠肺炎不幸去世。2007年，Edmund与E Allen Emerson、Joseph Sifakis等两位科学家一同获得图灵奖，获奖理由是他们开发了模型检测技术，并使之成为广泛应用于硬件和软件工业里的有效算法验证技术。http://t.cn/A6qCKUaj