Vés al contingut

E. Allen Emerson

De la Viquipèdia, l'enciclopèdia lliure
Plantilla:Infotaula personaE. Allen Emerson
Imatge
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, Nina Amla, Richard Jay Trefler, Kedar Sharadchandra Namjoshi (en) Tradueix, Giacomo Lenzi, Paul Camille Attie, Subramanian Iyer, Thomas Wahl, Jyotirmoy Deshmukh, Chin-Laung Lei (en) Tradueix, Roopsha Samanta i Charanjit Jutla 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=36376595»