Edmund Clarke

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare

Lua error în Modul:InfoboxBiography la linia 344: attempt to perform arithmetic on a nil value.

Edmund Melson Clarke, Jr. (n. 27 iulie 1945) este un informatician american, cunoscut pentru dezvoltarea conceptului de model checking ca metodă de verificare formală a proiectelor hardware și software. Împreună cu E. Allen Emerson și Joseph Sifakis, a primit în 2007 Premiul Turing.