當地時間 12 月 23 日，英特爾實驗室量子硬體研究組總監 James S. Clarke 在社交媒體發布了一封訃告稱，他的父親、2007 年圖靈獎得主 Edmund M. Clarke 因感染新冠肺炎不幸去世，享年 75 歲。
2007 年度圖靈獎被授予給了 Edmund M. Clarke、E Allen Emerson 和 Joseph Sifakis 三位科學家，以表彰他們開發模型檢測技術，並使之成為一個廣泛應用在硬體和軟體工業中非常有效的算法驗證技術所做的奠基性貢獻。
Edmund M. Clarke 出生於 1945 年。先後於 1967 年在維吉尼亞大學獲得數學學士學位、1968 年在杜克大學取得數學碩士學位、1976 年在康奈爾大學獲得計算機博士學位。
之後，Clarke 教授在杜克大學任教兩年後，於 1978 年加入哈佛大學並擔任助理教授。1981年，他與自己的博士生 Allen Emerson 首次提出了模型檢測的想法並用在自動機並發系統的驗證研究上，成為形式邏輯研究方面模型檢查的開創者之一。
1982 年，他加入了卡內基梅隆大學計算機系，並於 1989 年被評為全職終身教授一職。1995 年，Clarke 成為了卡內基梅隆大學計算機科學學院 FORE Systems Professorship 的首位獲獎者；2008 年被評為 University Professor，這是卡內基梅隆大學的最高教師榮譽。
此外，他還是 1998 年 ACM Kanellakis 獎、1999 年 Allen Newell 卓越研究獎、2004 年 IEEE Harry H. Goode 紀念獎和 2008 年 Herbrand 獎的共同獲得者。2014 年，富蘭克林研究所向他頒發了鮑爾獎和科學成就獎，以表彰他在計算機系統驗證技術的構思和開發方面的領導作用。
Edmund M. Clarke 於 1968 年與高中女友 Martha W. Clarke 結婚。據悉，他對妻子說的最後一句話是"我愛你"。由於疫情限制，追悼會將以私人模式舉辦，計劃於當地時間 12 月 28 日星期一下午 2 點直播。