E. Allen Emerson
Ernest Allen Emerson | |
---|---|
Narození | 2. června 1954 (70 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 |
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
Reference
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]
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. |