[go: up one dir, main page]
Sari la conținut

E. Allen Emerson

De la Wikipedia, enciclopedia liberă
(Redirecționat de la Ernest Allen Emerson)
Ernest Allen Emerson
Date personale
Născut Modificați la Wikidata
Dallas, Texas, SUA[1] Modificați la Wikidata
Decedat (70 de ani)[2] Modificați la Wikidata
Austin, Texas, SUA Modificați la Wikidata
Cetățenie Statele Unite ale Americii Modificați la Wikidata
Ocupațieinformatician
inginer
cadru didactic universitar[*]​ Modificați la Wikidata
Limbi vorbitelimba engleză Modificați la Wikidata
Activitate
RezidențăStatele Unite ale Americii Statele Unite ale Americii
Domeniuinformatician
InstituțieUniversitatea Texas, Austin
Alma MaterUniversitatea 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. , Dallas, Texas, SUA – d. , Austin, Texas, SUA) a fost 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.

Note

[modificare | modificare sursă]
  1. ^ „E. Allen Emerson”, Gemeinsame Normdatei, accesat în  
  2. ^ We bid farewell to E. Allen Emerson (în engleză), octombrie 2024, accesat în  


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=16583541