Sari la conținut

E. Allen Emerson

De la Wikipedia, enciclopedia liberă
Ernest Allen Emerson
Date personale
Născut2 iunie 1954
Dallas
Cetățenie Statele Unite ale Americii Modificați la Wikidata
Ocupațieinformatician
inginer
cadru didactic universitar[*]​ Modificați la Wikidata
Activitate
RezidențăStatele Unite ale Americii Statele Unite ale Americii
Domeniuinformatician
InstituțieUniversitatea Texas, Austin
Alma MaterUniversitatea Harvard
Universitatea Texasului din Austin
Harvard School of Engineering and Applied Sciences[*][[Harvard School of Engineering and Applied Sciences (engineering School in Cambridge, Massachusetts)|​]]  Modificați la Wikidata
Cunoscut pentruModel checking
PremiiPremiul Turing, 2007
Prezență online
Modifică date / text Consultați documentația formatului

Ernest Allen Emerson (n. 2 iunie 1954 la Dallas) 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)  · Pearl (2011)  · Micali / Goldwasser (2012)  · Lamport (2013)  · Stonebraker (2014)  · Diffie / Hellman (2015)  · Tim Berners-Lee (2016)  · John L. Hennessy / David Patterson (2017)  · Yoshua Bengio / Geoffrey Hinton / Yann LeCun (2018)  · Ed Catmull / Pat Hanrahan (2019)  · Alfred Aho / Jeffrey Ullman (2020)  · Jack Dongarra (2021)  · Robert Metcalfe (2022)  · Avi Wigderson (2023)

 Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui!
Adus de la https://ro.wikipedia.org/w/index.php?title=E._Allen_Emerson&oldid=15540837