愛德蒙·克拉克認(rèn)領(lǐng)

愛德蒙·克拉克（Edmund Melson Clarke，1945年7月27日—2020年12月22日），出生于美國弗吉尼亞州紐波特紐斯市，計(jì)算機(jī)科學(xué)家，2007年圖靈獎(jiǎng)得主之一，美國國家工程院院士，美國藝術(shù)與科學(xué)院院士，ACM fellow，IEEE fellow，生前是卡內(nèi)基梅隆大學(xué)榮譽(yù)教授。