E. Allen Emerson

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Ernest Allen Emerson
Date personale
Născut 2 iunie 1954
Dallas
Naționalitate american
Cetățenie Flag of the United States.svg SUA Modificați la Wikidata
Ocupație informatician
inginer
profesor universitar Modificați la Wikidata
Activitate
Rezidență Statele Unite ale Americii Statele Unite ale Americii
Domeniu informatician
Instituție Universitatea Texas, Austin
Alma Mater Universitatea Harvard
Universitatea Texasului din Austin[*]  Modificați la Wikidata
Cunoscut pentru Model checking
Premii Premiul 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.