E. Allen Emerson

Plantilla:Infotaula personaE. Allen Emerson

Modifica el valor a Wikidata
Nom original(en) Ernest Allen Emerson Modifica el valor a Wikidata
Biografia
Naixement2 juny 1954 Modifica el valor a Wikidata
Dallas (Texas) Modifica el valor a Wikidata
Mort15 octubre 2024 Modifica el valor a Wikidata (70 anys)
Austin (Texas) Modifica el valor a Wikidata
FormacióHarvard School of Engineering and Applied Sciences - matemàtiques aplicades (–1981)
Universitat de Texas a Austin - matemàtiques (–1976) Modifica el valor a Wikidata
Director de tesiEdmund M. Clarke Modifica el valor a Wikidata
Activitat
Camp de treballCiències de la computació, ciència computacional i computer modeling (en) Tradueix Modifica el valor a Wikidata
Ocupacióinformàtic, enginyer, professor d'universitat Modifica el valor a Wikidata
OcupadorUniversitat de Texas a Austin Modifica el valor a Wikidata
Interessat enMatemàtiques aplicades 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
Lloc webcs.utexas.edu… Modifica el valor a Wikidata

E. Allen Emerson (anglès: Ernest Allen Emerson) (Dallas, 2 de juny de 1954 - Austin, 15 d'octubre de 2024) va ser un informàtic i catedràtic a la Universitat de Texas.[1]

Biografia

[modifica]

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

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

Referències

[modifica]
  1. ↑ «Remembering Turing Award Winner E. Allen Emerson | College of Natural Sciences» (en anglès). [Consulta: 24 octubre 2024].
  2. ↑ 2,0 2,1 «Kanellakis Award». Association for Computing Machinery, 26-03-1999. Arxivat de l'original el 2011-06-05. [Consulta: 28 maig 2016].
  3. ↑ «ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs», 04-02-2008.
  4. ↑ «AWARDS -- E. ALLEN EMERSON -- 'ACM A.M. Turing Award' and 'Paris Kanellakis Theory and Practice Award'». Association for Computing Machinery, 2015. Arxivat de l'original el 21 juliol 2015. [Consulta: 21 juliol 2015]. «[…] authored seminal papers that founded what has become the highly successful field of Model Checking.»

Enllaços externs

[modifica]
Obtingut de «https://ca.wikipedia.org/w/index.php?title=E._Allen_Emerson&oldid=34139625»