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 


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