Edmund M. Clarke

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla
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
Dalı Bilgisayar bilimi
Çalıştığı yerler FORE Systems
Öğrenim Virginia Üniversitesi
Duke Üniversitesi
Aldığı ödüller Turing Ödülü (2007)

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.

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