Ernest Allen Emerson

Ernest Allen Emerson (* 2. jún 1954, 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 

Držitelia Turingovej ceny
Informatici USA
Osobnosti z Dallasu