E. Allen Emerson

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Ernest Allen Emerson
Născut
Rezidență Statele Unite ale Americii Statele Unite
Naționalitate american
Domeniu informatician
Instituție Universitatea Texas, Austin
Alma Mater Universitatea Texas, Austin
Universitatea Harvard
Cunoscut pentru Model checking
Premii Premiul Turing, 2007
Pagină web http://www.cs.utexas.edu/~emerson
modifică Consultați documentația formatului

Ernest Allen Emerson este un informatician american, cunoscut pentru dezvoltarea conceptului de model checking, ca metodă de verificare formală a proiectelor informatice. A primit Premiul Turing în 2007, împreună cu Edmund Clarke și Joseph Sifakis.

v • d • m
Laureați ai Premiului A. M. Turing

Perlis (1966) · Wilkes (1967) · Hamming (1968) · Minsky (1969) · Wilkinson (1970) · McCarthy (1971) · Dijkstra (1972) · Bachman (1973) · Knuth (1974) · Newell / Simon (1975) · Rabin / Scott (1976) · Backus (1977) · Floyd (1978) · Iverson (1979) · Hoare (1980) · Codd (1981) · Cook (1982) · Thompson / Ritchie (1983) · Wirth (1984) · Karp (1985) · Hopcroft / Tarjan (1986) · Cocke (1987) · Sutherland (1988) · Kahan (1989) · Corbató (1990) · Milner (1991) · Lampson (1992) · Hartmanis / Stearns (1993) · Feigenbaum / Reddy (1994) · Blum (1995) · Pnueli (1996) · Engelbart (1997) · Gray (1998) · Brooks (1999) · Yao (2000) · Dahl / Nygaard (2001) · Rivest / Shamir / Adleman (2002) · Kay (2003) · Cerf / Kahn (2004) · Naur (2005) · Allen (2006) · Clarke / Emerson / Sifakis (2007)  · Liskov (2008)  · Thacker (2009)  · Valiant (2010)
Flag of the United States.svg  Acest articol biografic despre un american este deocamdată un ciot. Puteți ajuta Wikipedia prin completarea lui!
Adus de la http://ro.wikipedia.org/w/index.php?title=E._Allen_Emerson&oldid=7629216