E. Allen Emerson

Ernest Allen Emerson (nascut el 2 de juny de 1954) és un informàtic, catedràtic a la Universitat de Texas, Austin.

Infotaula de personaErnest Allen Emerson II
Biografia
Naixement2 juny 1954 Modifica el valor a Wikidata (66 anys)
Dallas (Texas) Modifica el valor a Wikidata
Dades personals
NacionalitatEstats Units
FormacióUniversitat de Texas
Harvard
Activitat
Director de tesiEdmund M. Clarke Modifica el valor a Wikidata
OcupacióInformàtica
OcupadorUniversitat de Texas Modifica el valor a Wikidata
ProfessorsEdmund M. Clarke Modifica el valor a Wikidata
Obra
Estudiant doctoralMunindar P. Singh (en) Tradueix Modifica el valor a Wikidata
Premis
Premi Turing (2007)

Lloc webcs.utexas.edu… Modifica el valor a Wikidata

Es va llicenciar en matemàtiques a la Universitat de Texas, a Austin el 1976[1] i va obtenir el doctorat en matemàtica aplicada a la Universitat Harvard el 1981.[1]

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.[2] També va rebre el premi Paris Kanellakis de Teoria i Pràctica de l'ACM l'any 1998 per la verificació simbòlica de models.[3]

ReferènciesModifica

Enllaços externsModifica