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.
Edmund M. Clarke | |
|---|---|
 | |
| Doğum |
Edmund Melson Clarke, Jr. 27 Temmuz 1945 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 |
Clarke 2007 yılında E. Allen Emerson ve Joseph Sifakis'le birlikte Turing Ödülü'nü almaya hak kazanmıştır.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.