Edmund Clarke

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání
Edmund Melson Clarke
americký informatik
Edmund Clarke
Narodenie27. júl 1945
Newport News, Virgínia, USA
Úmrtie22. december 2020 (75 rokov)
Alma materCornell University
Deti3
Odkazy
Webstránkacmu.edu
CommonsSpolupracuj na 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]

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

Iné projekty[upraviť | upraviť zdroj]

Externé odkazy[upraviť | upraviť zdroj]