Edmund M. Clarke

Edmund Melson Clarke, jr. (født 27. juli 1945 i Newport News i Virginia i USA, død 22. desember 2020 i Pittsburgh i Pennsylvania) var en amerikansk   dataviter og akademiker. 

Han skapte model checking. Han var FORE Systems professor i Computer Science ved Carnegie Mellon University, og ble tildelt Turing-prisen i 2007. I 2005 ble han medlem av National Academy of Engineering, og i 2011 av American Academy of Arts and Sciences.

Clarke døde av covid-19 den 22. desember 2020 på sykehuset Asbury Heights i Mt. Lebanon i Pittsburgh i Pennsylvania i en alder av 75 år.

Skrifter 
 Med Allen Emerson: Synthesis of synchronization skeletons for branching time temporal logic. I: Logic of Programs: Workshop, Yorktown Heights, NY, mai 1981, Lecture Notes in Computer Science, Bind 131, Springer-Verlag. 1981.
 Med J. R. Burch, Kenneth L. McMillan, David Dill og J. Hwang: Symbolic model checking: 10E20 states and beyond. I: LICS, 1990.
 Med Orna Grumberg og Doron A. Peled: Model Checking. MIT Press, 1999.

Referanser

Professorer fra USA
Personer fra Newport News
Mottagere av Turing-prisen
Dødsfall relatert til covid-19 i USA