Edmund Clarke

z Wikipédie, slobodnej encyklopédie
Jump to navigation Jump to search
Edmund Melson Clarke
americký informatik
americký informatik
Narodenie27. júl 1945 (72 rokov)
Newport News, Virgínia, USA
Odkazy
Webstránkacmu.edu
CommonsSpolupracuj na Commons Edmund Clarke

Edmund Melson Clarke (* 27. júl 1945, Newport News, Virgínia, USA) je americký informatik, ktorý je 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.