Edmund Melson Clarke, Jr. (Newport News, 27 de juliol de 1945 – 22 de desembre de 2020) fou un informàtic i acadèmic notable per haver desenvolupat la verificació de models, un mètode per a verificar formalment dissenys de maquinari i programari. Ocupà la càtedra FORE Systems d'Informàtica a la Universitat Carnegie Mellon. Clarke, juntament amb E. Allen Emerson i Joseph Sifakis, va rebre el Premi Turing de 2007, atorgat per l'ACM.
Dades ràpides Biografia, Naixement ...
Edmund Melson Clarke, Jr. Edmund Clarke, el 2006 |
|
Naixement | 27 juliol 1945 Newport News (Virgínia) |
---|
Mort | 22 desembre 2020 (75 anys) Pittsburgh (Pennsilvània) |
---|
Causa de mort | Causes naturals (COVID-19 ) |
---|
|
|
|
|
|
Nacionalitat | Estats Units |
---|
Formació | Universitat de Virgínia Universitat Duke Universitat Cornell |
---|
Tesi acadèmica | Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems (1976) |
---|
Es coneix per | Verificació de models |
---|
|
Camp de treball | Ciència computacional i ciències de la computació |
---|
Ocupació | Informàtica |
---|
Organització | Universitat Duke Harvard University Universitat Carnegie Mellon |
---|
Membre de | |
---|
Alumnes | E. Allen Emerson |
---|
|
Estudiant doctoral | Bud Mishra, E. Allen Emerson, Sicun Gao (en) , David L. Dill (en) , Kenneth L. McMillan, Marius Minea (en) , Sergio Vale Aguiar Campos (en) , Somesh Jha (en) , Xudong Zhao (en) , David Elsey Long (en) , Jerry Robert Burch (en) , Michael Browne (en) , Wilfredo Rogelio Marrero (en) , Aravinda Prasad Sistla (en) i Alex David Groce (en) |
---|
Premis |
|
Lloc web | cs.cmu.edu… |
---|
Tanca