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 | |
| 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 |
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
[upraviť | upraviť zdroj]- ↑ Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors | Carnegie Mellon School of Computer Science [online]. . Dostupné online.
Iné projekty
[upraviť | upraviť zdroj]
Commons ponúka multimediálne súbory na tému Edmund Clarke
Externé odkazy
[upraviť | upraviť zdroj]
|
Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |