E. Allen Emerson
| E. Allen Emerson | |
|---|---|
 | |
| Narození |
2. června 1954 Dallas, Texas  USA
|
| Úmrtí |
15. října 2024 (ve věku 70 let) Austin, Texas USA
|
| 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 |
 Seznam děl: SKČR | Knihovny.cz
| |
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.
- ↑ 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)
