Edmund Clarke

Tomuto článku alebo sekcii chýbajú odkazy na spoľahlivé zdroje, môže preto obsahovať informácie, ktoré je potrebné ešte overiť. Pomôžte Wikipédii a doplňte do článku citácie, odkazy na spoľahlivé zdroje.

Edmund Melson Clarke (* 27. júl 1945, Newport News, Virgínia, USA – † 22. december 2020^[1]) 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.

Edmund Melson Clarke
americký informatik
Narodenie	27. júl 1945 Newport News, Virgínia, USA
Úmrtie	22. december 2020 (75 rokov)
Alma mater	Cornell University
Deti	3
Odkazy
Webstránka	cmu.edu
Commons	Edmund Clarke
Biografický portál