Ernest Allen Emerson

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání
Ernest Allen Emerson
americký informatik
Narodenie2. jún 1954 (64 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