Edmund Melson Clarke, Jr. () a fost 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.
Note
Categorie:Nașteri în 1945 Categorie:Decese în 2020 Categorie:Informaticieni americani Categorie:Laureați ai Premiului Turing Categorie:Oameni de știință americani din secolul al XX-lea Categorie:Oameni de știință americani din secolul al XXI-lea