Edmund Clarke

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Edmund Melson Clarke
americký informatik
americký informatik
Narodenie 27. júl 1945 (71 rokov)
Newport News, Virgínia, USA
Odkazy
Webstránka cmu.edu
Commons Spolupracuj 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.