Emerson, Ernest Allen

Ernest Allen Emerson
Ernest Allen Emerson
Datum narození 2. června 1954 (ve věku 68 let)( 1954-06-02 )
Místo narození Dallas [1]
Země USA
Vědecká sféra Informatika
Místo výkonu práce Texaská univerzita
Alma mater Texaská univerzita , Harvardská univerzita
Akademický titul Ph.D
vědecký poradce Clark, Edmund Melson
Známý jako Validace modelu
Ocenění a ceny Turingova cena
webová stránka cs.utexas.edu/~emerson/

Ernest Allen Emerson ( eng.  Ernest Allen Emerson ; narozen 2. června 1954 [1] , Dallas , USA ) je americký vědec v oboru teorie počítačových systémů, vítěz Turingovy ceny. V současné době je profesorem informatiky na Texaské univerzitě .

Životopis

Emerson získal bakalářský titul z matematiky na Texaské univerzitě v Austinu v roce 1976 a doktorát z aplikované matematiky na Harvardské univerzitě v roce 1981 [2] .

V roce 2007 mu byla spolu se svým nadřízeným Edmundem Clarkem a Josephem Sifakisem udělena Turingova cena za přínos k rozvoji teorie kontroly modelů .

Ocenění

Poznámky

  1. ↑ 12 Allen Emerson o Britannice
  2. ↑ Kanellakisova cena .
  3. ↑ ACM Award Citation/E Allen Emerson  (odkaz není dostupný)
  4. ↑ ŠKOLA INFORMAČNÍCH VĚD, Carnegie Mellon Archivováno 11. června 2011.
  5. ↑ Texaská univerzita v Austinu – Katedra počítačových věd  (nepřístupný odkaz)
  6. ↑ Laureáti výroční Turingovy ceny - Věda a technologie - Compulenta vyhlášena (nepřístupný odkaz) . Získáno 19. února 2009. Archivováno z originálu 21. února 2009. 
  7. ↑ ACM Award Citation/E Allen Emerson (odkaz není k dispozici) . Získáno 19. února 2009. Archivováno z originálu 27. června 2009. 

Literatura

Odkazy

 Vítězové Turingovy ceny
  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie