Ernest Allen Emerson (2. června 1954 Dallas, Texas – 15. října 2024 Austin, Texas) byl americký informatik. Je znám především díky svému přínosu při vývoji metody ověřování modelů (), za který v roce 2007 dostal společně s Edmundem M. Clarkem a Josephem Sifakisem Turingovu cenu.
Odkazy Reference
Externí odkazy
Kategorie:Američtí informatici Kategorie:Absolventi Harvardovy univerzity Kategorie:Nositelé Turingovy ceny Kategorie:Pedagogové na Texaské univerzitě v Austinu Kategorie:Absolventi Texaské univerzity v Austinu Kategorie:Narození v roce 1954 Kategorie:Narození 2. června Kategorie:Narození v Dallasu Kategorie:Úmrtí v roce 2024 Kategorie:Úmrtí 15. října Kategorie:Úmrtí v Austinu Kategorie:Muži