Back إدموند كلارك Arabic ادموند كلارك ARZ এডমুন্ড এম. ক্লার্ক Bengali/Bangla Edmund M. Clarke Catalan Edmund M. Clarke German Edmund M. Clarke English Edmund Clarke Esperanto Edmund Clarke Spanish ادموند ام کلارک Persian Edmund M. Clarke French
| Edmund M. Clarke | ||||
|---|---|---|---|---|
| ||||
| Persoonlijke gegevens | ||||
| Geboortedatum | 27 juli 1945 | |||
| Geboorteplaats | Newport News, Virginia | |||
| Overlijdensdatum | 22 december 2020 | |||
| Overlijdensplaats | Pittsburgh
| |||
| Academische achtergrond | ||||
| Alma mater | Universiteit van Virginia Duke University Cornell-universiteit
| |||
| Promotor | Robert Lee Constable[1] | |||
| Wetenschappelijk werk | ||||
| Vakgebied | Informatica | |||
| Bekend van | Model checking | |||
| Website | ||||
| ||||
Edmund Melson Clarke, Jr. (Newport News (Virginia), 27 juli 1945 - Pennsylvania, 22 december 2020[2]) was een Amerikaans informaticus. Samen met E. Allen Emerson en Joseph Sifakis heeft hij model checking ontwikkeld, een techniek voor formele verificatie van hardware en software. Hiervoor ontvingen zij in 2007 de Turing Award. Clarke heeft ook bijdragen geleverd op het gebied van automatisch redeneren. Clarke was professor op het gebied van informatica aan de Carnegie Mellon University.