E. Allen Emerson

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
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
OrganizațiiUniversitatea Texasului din Austin[*]  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.