E. Allen Emerson
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]
| |||
| Nom original | (en) Ernest Allen Emerson  | ||
|---|---|---|---|
| Biografia | |||
| Naixement | 2 juny 1954 Dallas (Texas) | ||
| Mort | 15 octubre 2024 (70 anys) Austin (Texas) | ||
| Formació | Harvard School of Engineering and Applied Sciences - matemàtiques aplicades (–1981) Universitat de Texas a Austin - matemàtiques (–1976) | ||
| Director de tesi | Edmund M. Clarke | ||
| Activitat | |||
| Camp de treball | Ciències de la computació, ciència computacional i computer modeling (en)  | ||
| Ocupació | informàtic, enginyer, professor d'universitat | ||
| Ocupador | Universitat de Texas a Austin | ||
| Interessat en | Matemàtiques aplicades | ||
| Obra | |||
| Estudiant doctoral | Munindar Paul Singh, Vineet Kahlon (en) , Nina Amla (en) , Richard Jay Trefler (en) , Kedar Sharadchandra Namjoshi (en) , Giacomo Lenzi (en) , Paul Camille Attie (en) , Subramanian Iyer (en) , Thomas Wahl (en) , Jyotirmoy Deshmukh (en) , Chin-Laung Lei (en) , Roopsha Samanta (en) i Charanjit Jutla (en) | ||
| Premis | |||
| |||
| Lloc web | cs.utexas.edu… | ||
.jpg)
Biografia
modificaEs 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- ↑ «Remembering Turing Award Winner E. Allen Emerson | College of Natural Sciences» (en anglès). [Consulta: 24 octubre 2024].
- ↑ 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].
- ↑ «ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs», 04-02-2008.
- ↑ «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.»