Ernest Allen Emerson
| Ernest Allen Emerson | |
| americký informatik | |
.jpg) | |
| Narodenie | 2. jún 1954 Dallas, Texas, USA |
|---|---|
| Úmrtie | 15. október 2024 (70 rokov) |
| Alma mater | UT Austin (BS, 1976) Harvard University (PhD, 1981) |
| Odkazy | |
| Webstránka | utexas.edu |
| Commons |  Ernest Allen Emerson |
Ernest Allen Emerson (* 2. jún 1954, Dallas, Texas, USA – † 15. október 2024)[1][2] bol americký informatik. Bol známy najmä vďaka svojmu prínosu pri vývoji metódy overovania modelov (model checking), za ktorý dostal spoločne s Edmundom Clarkeom a Josephom Sifakisom Turingovu cenu (v roku 2007).[3]
Referencie
[upraviť | upraviť zdroj]- ↑ HOSCH, William L.. E. Allen Emerson. In: Encyclopædia Britannica [online]. Encyclopædia Britannica, 2009-06-03, [cit. 2024-10-20]. Dostupné online.
- ↑ Obituary : Ernest "Allen" Emerson II [online]. Dignity Memorial, [cit. 2024-10-20]. Dostupné online.
- ↑ E. Allen Emerson : A.M. Turing Award Laureate [online]. Association for Computing Machinery, [cit. 2024-10-20]. Dostupné online.
Iné projekty
[upraviť | upraviť zdroj]
Commons ponúka multimediálne súbory na tému Ernest Allen Emerson
Externé odkazy
[upraviť | upraviť zdroj]
|
Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |