E. Allen Emerson

Ernest Allen Emerson
Ernest Allen Emerson
Narození	2. června 1954 (69 let); Dallas, Texas, USA
Alma mater	Harvardova univerzita; Texaská univerzita v Austinu; Harvard School of Engineering and Applied Sciences
Pracoviště	Texaská univerzita v Austinu
Ocenění	Paris Kanellakis Award (1998); Turingova cena (2007)
Web	www.cs.utexas.edu/~emerson/
	Některá data mohou pocházet z datové položky.

Ernest Allen Emerson (* 2. červen 1954^[1], Dallas, Texas, USA) je americký informatik. Je znám především díky svému přínosu při vývoji metody ověřovaní modelů (anglicky model checking), za který dostal společně s Edmundem Clarkem a Josephem Sifakisem Turingovu cenu (v roce 2007).

Odkazy editovat

Reference editovat

V tomto článku byl použit překlad textu z článku Ernest Allen Emerson na slovenské Wikipedii.

↑ Dallas County TX - Births, 1954 Surnames: Crownover - Eubanks^{[nedostupný zdroj]}

Pahýl

Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.

[1] Dallas County TX - Births, 1954 Surnames: Crownover - Eubanks^{[nedostupný zdroj]}

[1]

Ernest Allen Emerson

Narození	2. června 1954 (69 let) Dallas, Texas, USA
Alma mater	Harvardova univerzita Texaská univerzita v Austinu Harvard School of Engineering and Applied Sciences
Pracoviště	Texaská univerzita v Austinu
Ocenění	Paris Kanellakis Award (1998) Turingova cena (2007)
Web	www.cs.utexas.edu/~emerson/
Některá data mohou pocházet z datové položky.