Edmund M. Clarke

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.

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

1945 doğumlular
2020 yılında ölenler
Virginia doğumlu bilim insanları
Amerikalı bilgisayar bilimcileri
20. yüzyıl Amerikalı matematikçileri
21. yüzyıl Amerikalı matematikçileri
Virginia Üniversitesinde öğrenim görenler
Duke Üniversitesinde öğrenim görenler
Cornell Üniversitesinde öğrenim görenler
Carnegie Mellon Üniversitesi öğretim üyeleri
Duke Üniversitesi öğretim üyeleri
Harvard Üniversitesi öğretim üyeleri
Association for Computing Machinery Fellow'ları
IEEE Fellow Üyeleri
Turing Ödülü sahipleri
Amerikan Bilim ve Sanat Akademisi üyeleri
Ulusal Mühendislik Akademisi üyeleri
Biçimsel yöntemler kişileri