E. Allen Emerson

Ernest Allen Emerson
Date personale
Născut2 iunie 1954
Dallas
Naționalitateamerican
CetățenieFlag of the United States.svg SUA Modificați la Wikidata
Ocupațieinformatician
inginer
profesor universitar[*] Modificați la Wikidata
Activitate
RezidențăStatele Unite ale Americii Statele Unite ale Americii
Domeniuinformatician
InstituțieUniversitatea Texas, Austin
Alma MaterUniversitatea Harvard
Universitatea Texasului din Austin[*]
Harvard School of Engineering and Applied Sciences[*]  Modificați la Wikidata
Cunoscut pentruModel checking
PremiiPremiul Turing, 2007
Prezență online

Ernest Allen Emerson (n. 2 iunie 1954 la Dallas) este 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.