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 [online]. [cit. 2024-10-19]. Dostupné online. (anglicky) 

Externí odkazy

Média použitá na této stránce

E-allen-emerson (3x4 cropped).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.