va ser un informàtic i catedràtic a la Universitat de Texas.
Biografia Es va llicenciar en matemàtiques a la Universitat de Texas el 1976 i va obtenir el doctorat en matemàtica aplicada a la Universitat Harvard el 1981.
Va guanyar el premi Turing de 2007 juntament amb Edmund M. Clarke i Joseph Sifakis per la invenció i el desenvolupament de la verificació de models. També va rebre el premi Paris Kanellakis de Teoria i Pràctica de l'Association for Computing Machinery l'any 1998 per la verificació simbòlica de models.
Referències
Enllaços externs E. Allen Emerson – A.M. Turing Award Pàgina personal d'E. Allen Emerson a la Universitat de Texas a Austin Anunci del Premi Turing
Categoria:Premiats amb el Premi Turing Categoria:Alumnes de la Universitat Harvard Categoria:Alumnes de la Universitat de Texas a Austin Categoria:Alumnes de la Harvard School of Engineering and Applied Sciences Categoria:Persones de Dallas Categoria:Professors de la Universitat de Texas a Austin Categoria:Morts a Austin Categoria:Informàtics texans Categoria:Científics estatunidencs Categoria:Nascuts el 1954