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 Statele Unite ale Americii
Ocupație informatician
inginer
profesor universitar
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[*]
Cunoscut pentru Model checking
Premii Premiul Turing, 2007
Site web http://www.cs.utexas.edu/~emerson

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.