E. Allen Emerson
Aparença
Biografia | |
---|---|
Naixement | 2 juny 1954 Dallas (Texas) |
Nacionalitat | Estats Units |
Formació | Universitat de Texas Harvard |
Director de tesi | Edmund M. Clarke |
Activitat | |
Ocupació | Informàtica |
Ocupador | Universitat de Texas a Austin |
Interessat en | Matemàtiques aplicades |
Professors | Edmund M. Clarke |
Obra | |
Estudiant doctoral | Munindar Paul Singh, Vineet Kahlon (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.»
Enllaços externs
[modifica]- E. Allen Emerson – A.M. Turing Award
- Pàgina personal d'E. Allen Emerson a la Universitat de Texas a Austin
- Anunci del Premi Turing
- Premi Kanellakis Arxivat 2008-10-19 a Wayback Machine.
- E. Allen Emerson al Mathematics Genealogy Project.
- Llista de publicacions Arxivat 2016-02-19 a Wayback Machine. a Microsoft Academic Search