Edmund M. Clarke

Edmund M. Clarke
Doğum	Edmund Melson Clarke, Jr. 27 Temmuz 1945(1945-07-27) Newport News, Virginia, ABD
Ölüm	22 Aralık 2020 (75 yaşında)
Eğitim	Virginia Üniversitesi Duke Üniversitesi
Ödüller	Turing Ödülü (2007)
Kariyeri
Dalı	Bilgisayar bilimi
Çalıştığı kurumlar	FORE Systems

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.

Amerikalı bilim insanı ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.