E. Allen Emerson
Aparença
Nom original | (en) Ernest Allen Emerson |
---|---|
Biografia | |
Naixement | 2 juny 1954 Dallas (Texas) |
Mort | 15 octubre 2024 (70 anys) Austin (Texas) |
Nacionalitat | Estats Units |
Formació | Universitat de Texas Harvard |
Director de tesi | Edmund M. Clarke |
Activitat | |
Camp de treball | Ciències de la computació |
Ocupació | Informàtica |
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 | |
Premi Turing (2007) | |
Lloc web | cs.utexas.edu… |
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,0 1,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.»