E. Allen Emerson

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Ernest Allen Emerson
Născut 2 iunie 1954
Dallas
Rezidență Statele Unite ale Americii Statele Unite ale Americii
Naționalitate american
Domeniu informatician
Instituție Universitatea Texas, Austin
Alma Mater Universitatea Harvard, University of Texas at Austin[*]
Cunoscut pentru Model checking
Premii Premiul Turing, 2007
Pagină 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.