E. Allen Emerson
| Ernest Allen Emerson | |
 | |
| Date personale | |
|---|---|
| Născut | 2 iunie 1954 Dallas |
| Cetățenie |  Statele Unite ale Americii  |
| Ocupație | informatician inginer cadru didactic universitar[*] |
| Activitate | |
| Rezidență | Statele Unite ale Americii |
| 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.
| |||||
| Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui! |