Edmund Melson Clarke, Jr. (27 Temmuz 1945 - 22 Aralık 2020), Amerikalı bilgisayar bilimcisi. Donanım ve yazılım tasarımlarının doğrulanması için geliştirdiği model denetimi kavramıyla tanınmıştır. Clarke 1967 yılında Virginia Üniversitesi Matematik Bölümü'nden mezun olmuştur.

Edmund M. Clarke
DoğumEdmund Melson Clarke, Jr.
27 Temmuz 1945(1945-07-27)
Newport News, Virginia, ABD
Ölüm22 Aralık 2020 (75 yaşında)
EğitimVirginia Üniversitesi
Duke Üniversitesi
ÖdüllerTuring Ödülü (2007)
Kariyeri
DalıBilgisayar bilimi
Çalıştığı kurumlarFORE Systems

Clarke 2007 yılında E. Allen Emerson ve Joseph Sifakis'le birlikte Turing Ödülü'nü almaya hak kazanmıştır.