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
Naționalitate american
Domeniu informatician
Instituție Universitatea Texas, Austin
Alma Mater Universitatea Texas, Austin
Universitatea Harvard
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.