Edmund M. Clarke
Amerikaans informaticus / Uit Wikipedia, de vrije encyclopedia
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.
Snelle feiten Persoonlijke gegevens, Geboortedatum ...
Edmund M. Clarke | ||||
---|---|---|---|---|
Persoonlijke gegevens | ||||
Geboortedatum | 27 juli 1945 | |||
Geboorteplaats | Newport News, Virginia | |||
Overlijdensdatum | 22 december 2020 | |||
Overlijdensplaats | Pittsburgh | |||
Wetenschappelijk werk | ||||
Vakgebied | Informatica | |||
Bekend van | Model checking | |||
Promotor | Robert Lee Constable[1] | |||
Alma mater | Universiteit van Virginia Duke University Cornell-universiteit | |||
officiƫle website | ||||
|
Sluiten