E. Allen Emerson

De Viquipèdia
Salta a la navegació Salta a la cerca
Infotaula de personaErnest Allen Emerson II
Biografia
Naixement2 de juny de 1954 (1954-06-02) (65 anys)
Dallas (Texas)
Dades personals
NacionalitatEstats Units
FormacióUniversitat de Texas
Harvard
Activitat
Director de tesiEdmund M. Clarke
OcupacióInformàtica
OcupadorUniversitat de Texas
ProfessorsEdmund M. Clarke
Obra
Estudiant doctoralMunindar P. Singh (en) Tradueix
Premis
Premi Turing (2007)

Lloc webcs.utexas.edu…
Modifica les dades a Wikidata

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

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ències[modifica]

Enllaços externs[modifica]