E. Allen Emerson

V dnešním článku prozkoumáme vzrušující svět E. Allen Emerson. Od jeho počátků až po jeho dnešní význam se ponoříme do všech aspektů souvisejících s E. Allen Emerson. V průběhu historie hrál E. Allen Emerson zásadní roli ve společnosti a ovlivňoval různé oblasti, jako je kultura, ekonomika a politika. Prostřednictvím tohoto článku objevíme důležitost E. Allen Emerson a jak se vyvíjel v průběhu času. Připravte se ponořit se do fascinující cesty po E. Allen Emerson!

E. Allen Emerson
Narození2. června 1954
Dallas, Texas
USAUSA USA
Úmrtí15. října 2024 (ve věku 70 let)
Austin, Texas
USAUSA USA
Alma materTexaská univerzita v Austinu (do 1976)
Harvard School of Engineering and Applied Sciences (do 1981)
PracovištěTexaská univerzita v Austinu
Oborypočítačová věda, informatika a počítačové modelování
OceněníParis Kanellakis Award (1998)
Turingova cena (2007)
Webwww.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 Austin, Texas) 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.

  1. ↑ We bid farewell to E. Allen Emerson. Heidelberg Laureate Foundation . . Dostupné online. (anglicky) 

Externí odkazy

Pahýl
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.
Laureáti Turingovy ceny
1960–1969
1970–1979
1980–1989
1990–1999
2000–2009
2010–2019
od roku 2020