来自外媒消息，美国匹兹堡当地时间2020年12月22日下午（北京时间12月23日上午），2007年图灵奖得主Edmund M. Clarke（爱德蒙·克拉克）因感染新冠肺炎不幸去世。 他生前的主要工作之一是证明在一些程序语言的控制逻辑中没有一个完善的Hoare理论证明系统。
其子詹姆斯克拉克在社交软件上表达了对爱德蒙·克拉克的怀念之情。
对于爱德蒙·克拉克的离世网友们表示震惊与不舍，有网友评价：「爱德蒙·克拉克是其所属领域的巨人，他和他的作品将被永远铭记，并将继续影响和塑造这个领域」。
爱德蒙·克拉克的生平
爱德蒙·克拉克出生于1945年，1967年从美国南部的弗吉尼亚大学 获得了其数学的学士学位 ，然后1968年从杜克大学完成了其数学的硕士学位的学业 。9年之后的1976年，从康奈尔大学计算机系获得其博士学位。
随后他在杜克大学任教两年。1978年，加入了哈佛大学并担任助理教授一职。
1981年，他与自己的博士生 Allen Emerson 首次提出了模型检测的想法并用在自动机并发系统的验证研究上。成为形式逻辑研究方面模型检查的开创者之一。
1982年，爱德蒙·克拉克离开哈佛加入了卡内基梅隆大学计算机系，并在1989年被评为全职终身教授一职。
2007年度图灵奖授予爱德蒙·克拉克、E Allen Emerson和Joseph Sifakis三位科学家，表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。
爱德蒙·克拉克生前在接受清华大学学生提问时给出过非常有价值的回答，值得科研工作者认真学习。
关于如何保持对科研的积极心态，爱德蒙·克拉克说，自己的性格里对于喜欢的东西有一种着了魔的热情，喜欢拼尽全力解决问题；时间安排上会给科研工作留出充足的余量，避免自己过度陷入行政工作中。
对于如何训练自己的学生，爱德蒙·克拉克强调了两个词：多自由度和适时引导。他会给自己的学生充足的自由环境，在此基础之上加以适度的引导，并着力培养他们专注于探索问题的品质。
如何看待数学基础训练的意义，爱德蒙·克拉克给出这样的回答：计算本身是一件令人兴奋的事情，数学则是做好计算机科学的关键，数学的各种算法本质上是培养一种思维方式，这对于本科生无疑是很好的一个专业。
Twitter链接：
https://twitter.com/Jim_in_Oregon/status/1341546882321944576
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用。你还可以使用@来通知其他用户。