İçeriğe atla

Edmund M. Clarke

Vikipedi, özgür ansiklopedi
Edmund M. Clarke
DoğumEdmund Melson Clarke, Jr.
27 Temmuz 1945(1945-07-27)
Newport News, Virginia, ABD
Ölüm22 Aralık 2020 (75 yaşında)
EğitimVirginia Üniversitesi
Duke Üniversitesi
ÖdüllerTuring Ödülü (2007)
Kariyeri
DalıBilgisayar bilimi
Çalıştığı kurumlarFORE 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.