爱德蒙·克拉克认领

爱德蒙·克拉克（Edmund Melson Clarke，1945年7月27日—2020年12月22日），出生于美国弗吉尼亚州纽波特纽斯市，计算机科学家，2007年图灵奖得主之一，美国国家工程院院士，美国艺术与科学院院士，ACM fellow，IEEE fellow，生前是卡内基梅隆大学荣誉教授。