Edmund M. Clarke
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 |
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. |
Kategoriler:
- Amerikalı bilim insanı taslakları
- 1945 doğumlular
- 2020'de ölenler
- Virginia doğumlu bilim insanları
- Amerikalı bilgisayar bilimcileri
- 20. yüzyıl Amerikalı matematikçileri
- 21. yüzyıl Amerikalı matematikçileri
- Virginia Üniversitesinde öğrenim görenler
- Duke Üniversitesinde öğrenim görenler
- Cornell Üniversitesinde öğrenim görenler
- Carnegie Mellon Üniversitesi öğretim üyeleri
- Duke Üniversitesi öğretim üyeleri
- Harvard Üniversitesi öğretim üyeleri
- Association for Computing Machinery Fellow'ları
- IEEE Fellow Üyeleri
- Turing Ödülü sahipleri
- Amerikan Bilim ve Sanat Akademisi üyeleri
- Ulusal Mühendislik Akademisi üyeleri
- Biçimsel yöntemler kişileri