From Wikipedia, the free encyclopedia
Ernest Allen Emerson (nascut el 2 de juny de 1954) és un informàtic, catedràtic a la Universitat de Texas, Austin.
Biografia | |
---|---|
Naixement | 2 juny 1954 (70 anys) 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) , 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… |
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]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.