E. Allen Emerson

De la Wikipedia, enciclopedia liberă
Ernest Allen Emerson
E-allen-emerson.jpg
Date personale
Născut2 iunie 1954
Dallas
Naționalitateamerican
CetățenieFlag of the United States.svg Statele Unite ale Americii Modificați la Wikidata
Ocupațieinformatician
inginer
cadru didactic 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[*][[Harvard School of Engineering and Applied Sciences (engineering School in Cambridge, Massachusetts)|​]]  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.