Edmund Clarke

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Edmund Melson Clarke
Edmund Clarke
americký informatik

Narodenie 27. júl 1945 (69 rokov)
Newport News, Virgínia, USA

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.