Ernest Allen Emerson
Ernest Allen Emerson | |
americký informatik | |
![]() | |
Narodenie | 2. jún 1954 (68 rokov) Dallas, Texas, USA |
---|---|
Odkazy | |
Webstránka | utexas.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]