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 |
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 .
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ě .
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 ).
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 ).