Ernest Allen Emerson
Ernest Allen Emerson (* 2. jún 1954[1], Dallas, Texas, USA) je americký informatik. Je 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).
| Ernest Allen Emerson | |||
| americký informatik | |||
| Narodenie | 2. jún 1954 (66 rokov) Dallas, Texas, USA | ||
|---|---|---|---|
| Odkazy | |||
| Webstránka | utexas.edu | ||
| |||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.