Edmund Clarke

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 
 

Informatici USA
Držitelia Turingovej ceny
Absolventi Cornell University
Osobnosti z Newport News