Ernest Allen Emerson () a fost un informatician american, cunoscut pentru dezvoltarea conceptului de model checking, ca metodă de verificare formală a proiectelor informatice. A primit Premiul Turing în 2007, împreună cu Edmund Clarke și Joseph Sifakis.
Note
Categorie:Nașteri în 1954 Categorie:Decese în 2024 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