E. Allen Emerson
| Ernest Allen Emerson | |
.jpg) | |
| Date personale | |
|---|---|
| Născut |  Dallas, Texas, SUA[1] |
| Decedat | (70 de ani)[2] Austin, Texas, SUA |
| Cetățenie |  Statele Unite ale Americii |
| Ocupație | informatician inginer cadru didactic universitar[*] |
| Limbi vorbite | limba engleză |
| Activitate | |
| Rezidență | Statele Unite ale Americii |
| Domeniu | informatician |
| Instituție | Universitatea Texas, Austin |
| Alma Mater | 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. , Dallas, Texas, SUA – d. , Austin, Texas, SUA) a fost 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.
Note
modificare- ^ „E. Allen Emerson”, Gemeinsame Normdatei, accesat în
- ^ We bid farewell to E. Allen Emerson (în engleză), octombrie 2024, accesat în
| | Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui! |