Edmund M. Clarke

Edmund Melson Clarke, Jr. (d. 27 Temmuz 1945), 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
Edmund Clarke FLoC 2006.jpg
Doğum Edmund Melson Clarke, Jr.
27 Temmuz 1945 (1945-07-27) (74 yaşında)
Newport News, Virginia, ABD
Eğitim Virginia Üniversitesi
Duke Üniversitesi
Ödüller Turing Ödülü (2007)
Bilimsel kariyeri
Dalı Bilgisayar bilimi
Kurumları FORE Systems

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