E. Allen Emerson

E. Allen Emerson
E. Allen Emerson
Narození	2. června 1954; Dallas, Texas; USA
Úmrtí	15. října 2024 (ve věku 70 let); Austin
Alma mater	Texaská univerzita v Austinu (do 1976); Harvard School of Engineering and Applied Sciences (do 1981)
Pracoviště	Texaská univerzita v Austinu
Obory	počítačová věda, informatika a počítačové modelování
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. června 1954 Dallas, Texas – 15. října 2024) byl americký informatik. Je znám především díky svému přínosu při vývoji metody ověřování modelů (anglicky model checking), za který v roce 2007 dostal společně s Edmundem M. Clarkem a Josephem Sifakisem Turingovu cenu.^[1]

Odkazy

Reference

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

↑ We bid farewell to E. Allen Emerson. Heidelberg Laureate Foundation [online]. [cit. 2024-10-19]. Dostupné online. (anglicky)

Externí odkazy

Obrázky, zvuky či videa k tématu E. Allen Emerson na Wikimedia Commons
Oficiální stránky (anglicky)

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] We bid farewell to E. Allen Emerson. Heidelberg Laureate Foundation [online]. [cit. 2024-10-19]. Dostupné online. (anglicky)

[1]

E. Allen Emerson

Narození	2. června 1954 Dallas, Texas USA USA
Úmrtí	15. října 2024 (ve věku 70 let) Austin
Alma mater	Texaská univerzita v Austinu (do 1976) Harvard School of Engineering and Applied Sciences (do 1981)
Pracoviště	Texaská univerzita v Austinu
Obory	počítačová věda, informatika a počítačové modelování
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.