爱德蒙·克拉克 小爱德蒙梅爾森克拉克英語Edmund Melson Clarke Jr年月日年月日美国计算机科学家年他与艾伦爱默生和约瑟夫斯发基斯一起因在模型檢查英语Model checking取得的杰出贡献而获得图灵奖 美国匹兹堡当地时间年月日下午北京时间月日上午因感染冠状病毒去世