E. Allen Emerson
Ernest Allen Emerson | |
![]() | |
Date personale | |
---|---|
Născut | 2 iunie 1954 Dallas |
Cetățenie | ![]() ![]() |
Ocupație | informatician inginer cadru didactic universitar[*] ![]() |
Activitate | |
Rezidență | ![]() |
Domeniu | informatician |
Instituție | Universitatea Texas, Austin |
Alma Mater | Universitatea Harvard Universitatea Texasului din Austin Harvard School of Engineering and Applied Sciences[*] ![]() |
Cunoscut pentru | Model checking |
Premii | Premiul Turing, 2007 |
Prezență online | |
Modifică date / text ![]() |
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.