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.

Kategori:1945 doğumlular
Kategori:2020'de ö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
Kategori:Duke Üniversitesinde öğrenim görenler
Kategori:Cornell Üniversitesinde öğrenim görenler
Kategori:Carnegie Mellon Üniversitesi öğretim üyeleri
Kategori:Duke Ü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