E. Allen Emerson

|nacionalidad =estadounidense |ocupación = informático, profesor |web = [http://www.cs.utexas.edu/users/emerson/ Ernest Allen Emerson] |premios = Premio Turing en 2007. }} Ernest Allen Emerson (2 de junio de 1954 – 15 de octubre de 2024) fue un informático teórico estadounidense, más conocido haber desarrollado el método conocido como ''model checking'', para verificar diseños de software o hardware. proporcionado por Wikipedia