Allen Emerson

Allen Emerson Životopis
Narození 2. června 1954
Dallas
Státní příslušnost americký
Výcvik Harvard University
University of Texas at Austin
, Harvard School of Engineering and Applied Sciences ( in )
Činnosti Počítačový vědec , inženýr , univerzitní profesor
Jiná informace
Pracoval pro University of Texas v Austinu
Mistr Edmund M. Clarke
Dozorce Edmund M. Clarke
webová stránka www.cs.utexas.edu/~emerson
Ocenění Cena Paris-Kanellakis (1998)
Turingova cena (2007)

Allen (Ernest) Emerson , narozen dne2. června 1954v Dallasu v Texasu , je výzkumný pracovník v oboru počítačových věd , profesor na Texaské univerzitě v Austinu ve Spojených státech .

Životopis

Allen Emerson studoval matematiku na Texaské univerzitě v Austinu a doktorát získal v roce 1981 pod vedením Edmunda M. Clarka na Harvardově univerzitě .

Funguje

Emerson je známý svou prací při formálním ověřování , mimo jiné jako spoluautorem kontroly modelu a časové logiky CTL  (in) ( Computation Tree Logic ).

Ocenění

Získal cenu Turing v roce 2007 , spolu s Edmundem M. Clarkem a Josepha Sifakis za jeho práci na model checking .

Emerson předtím obdržel Pařížskou cenu Kanellakis ( 1998 ).

Poznámky a odkazy

Poznámky

  1. (in) Další popis práce je k dispozici na webu ACM .

Reference

  1. (en) Oficiální stránka Turingovy ceny za rok 2007.
  2. (in) „  Allen Emerson  “ na webových stránkách projektu Mathematics Genealogy Project .
  3. (in) http://awards.acm.org/citation.cfm?id=1671460&srt=alpha&alpha=E&aw=147&ao=KANELLAK&yr=1998 „archivovaná kopie“ (verze z 23. července 2018 v internetovém archivu ) .

Dodatky

externí odkazy