Ernest Allen Emerson

z Wikipédie, slobodnej encyklopédie
(Presmerované z E. Allen Emerson)
Prejsť na: navigácia, hľadanie
Ernest Allen Emerson
americký informatik
Narodenie 2. jún 1954 (58 rokov)
Dallas, Texas, USA

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).

Referencie [upraviť]

  1. ↑ Dallas County TX - Births, 1954 Surnames: Crownover - Eubanks
David face.png  Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.

Alan Perlis (1966) · Maurice Wilkes (1967) · Richard Hamming (1968) · Marvin Minsky (1969) · James Hardy Wilkinson (1970) · John McCarthy (1971) · Edsger Wybe Dijkstra (1972) · Charles Bachman (1973) · Donald Ervin Knuth (1974) · Allen Newell/Herbert Simon (1975) · Michael Oser Rabin/Dana Scott (1976) · John Backus (1977) · Robert Floyd (1978) · Kenneth Iverson (1979) · C. A. R. Hoare (1980) · Edgar Frank Codd (1981) · Stephen Cook (1982) · Ken Thompson/Dennis Ritchie (1983) · Niklaus Wirth (1984) · Richard Karp (1985) · John Hopcroft/Robert Tarjan (1986) · John Cocke (1987) · Ivan Sutherland (1988) · William Kahan (1989) · Fernando Corbató (1990) · Robin Milner (1991) · Butler Lampson (1992) · Juris Hartmanis/Richard Stearns (1993) · Edward Feigenbaum/Raj Reddy (1994) · Manuel Blum (1995) · Amir Pnueli (1996) · Douglas Engelbart (1997) · James Gray (1998) · Frederick Brooks (1999) · Andrew Jao (2000) · Ole-Johan Dahl/Kristen Nygaard (2001) · Ronald Rivest/Adi Šamir/Leonard Adleman (2002) · Alan Kay (2003) · Vinton Cerf/Robert Kahn (2004) · Peter Naur (2005) · Frances Allenová (2006) · Edmund Clarke/Ernest Allen Emerson/Joseph Sifakis (2007) · Barbara Liskovová (2008) · Charles Thacker (2009) · Leslie Valiant (2010)
Zdroj: „http://sk.wikipedia.org/w/index.php?title=Ernest_Allen_Emerson&oldid=5356883“