E. Allen Emerson
Narození	2. června 1954 Dallas, Texas USA USA
Úmrtí	15. října 2024 (ve věku 70 let) Austin, Texas USA USA
Alma mater	Texaská univerzita v Austinu (do 1976) Harvard School of Engineering and Applied Sciences (do 1981)
Pracoviště	Texaská univerzita v Austinu
Obory	počítačová věda, informatika a počítačové modelování
Ocenění	Paris Kanellakis Award (1998) Turingova cena (2007)
Web	www.cs.utexas.edu/~emerson/
Některá data mohou pocházet z datové položky.

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ů (anglicky model checking), za který v roce 2007 dostal společně s Edmundem M. Clarkem a Josephem Sifakisem Turingovu cenu.^[1]

V tomto článku byl použit překlad textu z článku Ernest Allen Emerson na slovenské Wikipedii.

• Obrázky, zvuky či videa k tématu E. Allen Emerson na Wikimedia Commons
• Oficiální stránky (anglicky)

Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.