Emerson, Ernest Allen

Ernest Allen Emerson
Ernest Allen Emerson
Fødselsdato 2. juni 1954 (68 år)( 1954-06-02 )
Fødselssted Dallas [1]
Land USA
Videnskabelig sfære Informatik
Arbejdsplads University of Texas
Alma Mater University of Texas , Harvard University
Akademisk grad Ph.D
videnskabelig rådgiver Clark, Edmund Melson
Kendt som Modelvalidering
Præmier og præmier Turing-prisen
Internet side cs.utexas.edu/~emerson/

Ernest Allen Emerson ( eng.  Ernest Allen Emerson ; født 2. juni 1954 [1] , Dallas , USA ) er en amerikansk videnskabsmand inden for computersystemteori, vinder af Turing-prisen. Han er i øjeblikket professor i datalogi ved University of Texas .

Biografi

Emerson modtog en bachelorgrad i matematik fra University of Texas i Austin i 1976 og en Ph.D. -grad i anvendt matematik fra Harvard University i 1981 [2] .

I 2007 blev han sammen med sin vejleder Edmund Clark og Joseph Sifakis tildelt Turing-prisen for sine bidrag til udviklingen af ​​modelkontrolteori .

Priser

Noter

  1. ↑ 12 Allen Emerson om Britannica
  2. ↑ Kanellakis-prisen .
  3. ↑ ACM Award Citation/E Allen Emerson  (link ikke tilgængeligt)
  4. ↑ SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Arkiveret 11. juni 2011.
  5. ↑ University of Texas i Austin - Department of Computer Sciences  (utilgængeligt link)
  6. ↑ Vindere af den årlige Turing Award - Videnskab og teknologi - Compulenta annonceret (utilgængeligt link) . Hentet 19. februar 2009. Arkiveret fra originalen 21. februar 2009. 
  7. ↑ ACM Award Citation/E Allen Emerson (link utilgængeligt) . Hentet 19. februar 2009. Arkiveret fra originalen 27. juni 2009. 

Litteratur

Links

 Turing prisvindere
  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier