Ernest Allen Emerson

z Wikipédie, slobodnej encyklopédie
Verzia z 19:30, 14. október 2023, ktorú vytvoril InternetArchiveBot (diskusia | príspevky) (Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0.9.5)
(rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)
Ernest Allen Emerson
americký informatik
Ernest Allen Emerson
Narodenie2. jún 1954 (69 rokov)
Dallas, Texas, USA
Odkazy
Webstránkautexas.edu

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

Referencie[upraviť | upraviť zdroj]

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