E. 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 |
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]
Média použitá na této stránce
E-allen-emerson.jpg
Autor: Copyright E. Allen Emerson (the subject), Licence: CC BY-SA 4.0
E. Allen Emerson, computer scientist and emeritus professor at the University of Texas at Austin. Photo provided by the subject, personal communication to me (Caleb Stanford), and released by him under Creative Commons Attribution-ShareAlike 4.0 International directly via email to permissions-commons@wikimedia.org on August 30, 2022.
Autor: Copyright E. Allen Emerson (the subject), Licence: CC BY-SA 4.0
E. Allen Emerson, computer scientist and emeritus professor at the University of Texas at Austin. Photo provided by the subject, personal communication to me (Caleb Stanford), and released by him under Creative Commons Attribution-ShareAlike 4.0 International directly via email to permissions-commons@wikimedia.org on August 30, 2022.