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
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

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.

Referencie

1. ↑ Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors | Carnegie Mellon School of Computer Science . . Dostupné online.

Iné projekty

• Commons ponúka multimediálne súbory na tému Edmund Clarke

Externé odkazy

• Oficiálny web

Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.