Ernest Allen Emerson

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Ernest Allen Emerson
americký informatik

Narodenie 2. jún 1954 (60 rokov)
Dallas, Texas, USA

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