Ernest Allen Emerson

Ernest Allen Emerson
americký informatik
Narodenie	2.6.19542. jún 1954 (70 rokov) Dallas, Texas, USA
Odkazy
Webstránka	utexas.edu
Biografický portál

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).

1. ↑ Dallas County TX - Births, 1954 Surnames: Crownover - Eubanks^{[nefunkčný odkaz]}

Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.