E. Allen Emerson

De Viquipèdia
Infotaula de personaErnest Allen Emerson II
Biografia
Naixement2 juny 1954 Modifica el valor a Wikidata (68 anys)
Dallas (Texas) Modifica el valor a Wikidata
Dades personals
NacionalitatEstats Units
FormacióUniversitat de Texas
Harvard
Director de tesiEdmund M. Clarke Modifica el valor a Wikidata
Activitat
OcupacióInformàtica
OcupadorUniversitat de Texas a Austin Modifica el valor a Wikidata
Interessat enMatemàtiques aplicades Modifica el valor a Wikidata
ProfessorsEdmund M. Clarke Modifica el valor a Wikidata
Obra
Estudiant doctoralMunindar Paul Singh, Vineet Kahlon (en) Tradueix, Nina Amla (en) Tradueix, Richard Jay Trefler (en) Tradueix, Kedar Sharadchandra Namjoshi (en) Tradueix, Giacomo Lenzi (en) Tradueix, Paul Camille Attie (en) Tradueix, Subramanian Iyer (en) Tradueix, Thomas Wahl (en) Tradueix, Jyotirmoy Deshmukh (en) Tradueix, Chin-Laung Lei (en) Tradueix, Roopsha Samanta (en) Tradueix i Charanjit Jutla (en) Tradueix Modifica el valor a Wikidata
Premis
Premi Turing (2007)

Lloc webcs.utexas.edu… Modifica el valor 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]

  1. 1,0 1,1 «Kanellakis Award». Association for Computing Machinery, 26-03-1999. Arxivat de l'original el 2011-06-05. [Consulta: 28 maig 2016].
  2. «ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs», 04-02-2008.
  3. «AWARDS -- E. ALLEN EMERSON -- 'ACM A.M. Turing Award' and 'Paris Kanellakis Theory and Practice Award'». Association for Computing Machinery, 2015. [Consulta: 21 juliol 2015]. «[…] authored seminal papers that founded what has become the highly successful field of Model Checking.»

Enllaços externs[modifica]