Edmund Melson Clarke, jr. (født 27. juli 1945 i Newport News i Virginia i USA, død 22. desember 2020 i Pittsburgh i PennsylvaniaAndrew Goldstein: Obituary: Edmund M. Clarke, CMU professor who won computer science’s Nobel Prize equivalent, post-gazette.com, lest 25. desember 2020) 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
Kategori:Professorer fra USA Kategori:Personer fra Newport News Kategori:Mottagere av Turing-prisen Kategori:Dødsfall relatert til covid-19 i USA