Edmund M. Clarke

Edmund Melson Clarke, Jr.

(2006)
Biografia
Naixement	27 juliol 1945 Newport News (Virgínia)
Mort	22 desembre 2020 (75 anys) Pittsburgh (Pennsilvània)
Causa de mort	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
Activitat
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	Acadèmia Americana de les Arts i les Ciències (2011–) Acadèmia Nacional d'Enginyeria (2005–) Association for Computing Machinery (membre de l'Association for Computing Machinery) (1998–) Institut d'Enginyers Elèctrics i Electrònics
Alumnes	E. Allen Emerson
Obra
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
Premi Turing (2007)
Lloc web	cs.cmu.edu…

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.