Edmund Melson Clarke (* 27. júl 1945, Newport News, Virgínia, USA† 22. december 2020) bol americký informatik známy najmä vďaka svojmu podielu na vývoji metódy overovania modelov (model checking). Za tento prínos dostal v roku 2007 spolu s Ernestom Allenom Emersonom a Josephom Sifakisom Turingovu cenu.
Referencie
Iné projekty
Externé odkazy
Kategória:Informatici USA Kategória:Držitelia Turingovej ceny Kategória:Absolventi Cornell University Kategória:Absolventi University of Virginia Kategória:Osobnosti z Newport News