E. Allen Emerson

De Viquipèdia
Salta a la navegació Salta a la cerca
Infotaula de personaErnest Allen Emerson II
Biografia
Naixement 2 de juny de 1954 (1954-06-02) (64 anys)
Dallas
Nacionalitat Estats Units
Educació Universitat de Texas
Harvard
Activitat
Director de tesi Edmund M. Clarke
Ocupació Informàtica
Ocupador Universitat de Texas
Professors Edmund M. Clarke
Obra
Estudiant doctoral Munindar P. Singh Tradueix
Premis
Premi Turing (2007)

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