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