来自外媒音讯，美国匹兹堡当地工夫2020年12月22日下午（北京工夫12月23日上午），2007年图灵奖得主Edmund M. Clarke（爱德蒙·克拉克）因感化新冠肺炎可怜逝世。 他生前的次要工作之一是证实在一些程序语言的管制逻辑中没有一个欠缺的Hoare实践证实零碎。