E. Allen Emerson - E. Allen Emerson - Wikipedia

Ernest Allen Emerson II
narozený (1954-06-02) 2. června 1954 (věk 66)
Dallas, TX
Státní občanstvíSpojené státy
VzděláváníHarvard (PhD 1981)
OceněníParis Kanellakis Theory and Practice Award (1998)
Turing Award (2007)
Vědecká kariéra
PolePočítačová věda
InstituceUniversity of Texas, Austin, Spojené státy
Doktorský poradceEdmund M. Clarke

E. Allen Emerson (narozený 2. června 1954) je Američan počítačový vědec. Je emeritním profesorem a regentským předsedou University of Texas, Austin, Spojené státy.

Vyhrál 2007 DOPOLEDNE. Turing Award spolu s Edmund M. Clarke a Joseph Sifakis pro vynález a vývoj kontrola modelu.[1]Je také příjemcem roku 1998 ACM Paris Kanellakis Award Cena Teorie a praxe za symbolickou kontrolu modelu.[2]

Dostal svůj BS titul z matematiky z University of Texas, Austin v roce 1976[3] a jeho PhD v oboru aplikovaná matematika na Harvardská Univerzita v roce 1981.[3]

Viz také

externí odkazy

Reference

  1. ^ „Cena ACM Turing ctí zakladatele technologie automatického ověřování, která umožňuje rychlejší a spolehlivější návrhy“. 4. února 2008.
  2. ^ „OCENĚNÍ - E. ALLEN EMERSON -„ ACM A.M. Turing Award “a„ Paris Kanellakis Theory and Practice Award'". Sdružení pro výpočetní techniku. 2015. Archivováno z původního 21. července 2015. Citováno 21. července 2015. […] Napsal seminární práce, které založily vysoce úspěšnou oblast kontroly modelů.
  3. ^ A b „Cena Kanellakis“. Sdružení pro výpočetní techniku. 26. března 1999. Archivovány od originál 5. června 2011. Citováno 5. února 2008.
  4. ^ (alternativní URL: http://www.cs.utexas.edu/users/emerson/ )