Ernest Allen Emerson
Ernest Allen Emerson (* 2. jún 1954[1], Dallas, Texas, USA) je americký informatik. Je známy najmä vďaka svojmu prínosu pri vývoji metódy overovania modelov (model checking), za ktorý dostal spoločne s Edmundom Clarkeom a Josephom Sifakisom Turingovu cenu (v roku 2007).
| Ernest Allen Emerson | |
| americký informatik | |
 | |
| Narodenie | 2. jún 1954 (69 rokov) Dallas, Texas, USA |
|---|---|
| Odkazy | |
| Webstránka | utexas.edu |
Referencie upraviť
|
Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |