E. Allen Emerson

De Viquipèdia
Salta a: navegació, cerca
Infotaula de personaErnest Allen Emerson II
Dades biogràfiques
Naixement 2 de juny de 1954 (1954-06-02) (63 anys)
Dallas
Nacionalitat Estats Units
Alma mater Universitat de Texas
Harvard
Activitat professional
Ocupació Informàtica
Ocupador Universitat de Texas
Premis i reconeixements
Premi Turing (2007)

Lloc web Lloc web oficial
Modifica 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]