Category : Edmund M. Clarke

**Edmund M. Clarke**
	American computer scientist Edmund Clarke, el 2006
	Upload media
	Wikipedia
Name in native language	Edmund Melson Clarke, Jr. ;
Date of birth	27 July 1945 ; Newport News
Date of death	22 December 2020 ; Pittsburgh
Manner of death	natural causes ;
Cause of death	COVID-19 ;
Country of citizenship	United States of America ;
Educated at	University of Virginia (1967, Bachelor of Arts , mathematics ) ; Duke University (1968, Master of Arts , mathematics ) ; Cornell University (1976, Doctor of Philosophy , computer science ) ;
Doctoral advisor	Robert Lee Constable ;
Doctoral student	Bhubaneswar Mishra ; E. Allen Emerson ; Sicun Gao ; David L. Dill ; Kenneth L. McMillan ; Marius Minea ; Sergio Vale Aguiar Campos ; Somesh Jha ; Xudong Zhao ; David Elsey Long ; Jerry Robert Burch ; Michael Browne ; Wilfredo Rogelio Marrero ; Aravinda Prasad Sistla ; Alex David Groce ;
Occupation	computer scientist ; university teacher ; engineer ; mathematician ;
Employer	Duke University (1976) ; Harvard University (1978) ; Cornell University (1982) ; Carnegie Mellon University ;
Member of	Institute of Electrical and Electronics Engineers ; American Academy of Arts and Sciences (2011–) ; National Academy of Engineering (2005–) ; Association for Computing Machinery (ACM Fellow, 1998–) ;
Field of work	informatics ; computer science ;
Native language	English ;
Award received	Turing Award (2007) ; Paris Kanellakis Award (1998) ; Herbrand Award (2008) ; Harry H. Goode Memorial Award (2004) ; ACM Fellow (1998) ; IEEE Fellow ; Bower Award and Prize for Achievement in Science (2014) ; Fellow of the American Academy of Arts and Sciences ; Benjamin Franklin Medal (2014) ; honorary doctor of the Vienna Technical University ;
	official website
Authority file
	Q92819 ; ISNI: 0000000121197648 ; VIAF ID: 8050749 ; GND ID: 142488941 ; Library of Congress authority ID: n91023249 ; Bibliotheque nationale de France ID: 16505624q ; IdRef ID: 060781750 ; NL CR AUT ID: stk2007415785 ; Nationale Thesaurus voor Auteursnamen ID: 069871493 ; NUKAT ID: n99020693 ; National Library of Israel J9U ID: 987007457810605171 ; Mathematics Genealogy Project ID: 50063
	Reasonator ; Scholia ; Wikidocumentaries ; PetScan ; statistics ; WikiMap ; Locator tool ; KML file ; Search depicted ;

English: Edmund Melson Clarke, Jr. (born July 27, 1945) is a computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.