Ernest Allen Emerson (* 2. jún 1954, Dallas, Texas, USA – † 15. október 2024) bol americký informatik. Bol 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
Iné projekty
Externé odkazy
Kategória:Osobnosti z Dallasu Kategória:Informatici USA Kategória:Držitelia Turingovej ceny Kategória:Vyučujúci na University of Texas at Austin Kategória:Absolventi University of Texas at Austin Kategória:Absolventi Harvard University