Emerson, Ernest Allen

Ernest Allen Emerson
Ernest Allen Emerson

Syntymäaika	2. kesäkuuta 1954 (68-vuotiaana)( 1954-06-02 )
Syntymäpaikka	Dallas [1]
Maa	USA
Tieteellinen ala	Informatiikka
Työpaikka	Texasin yliopisto
Alma mater	Texasin yliopisto , Harvardin yliopisto
Akateeminen tutkinto	Ph.D
tieteellinen neuvonantaja	Clark, Edmund Melson
Tunnetaan	Mallin validointi
Palkinnot ja palkinnot	Turing-palkinto
Verkkosivusto	cs.utexas.edu/~emerson/

Ernest Allen Emerson ( eng. Ernest Allen Emerson ; syntynyt 2. kesäkuuta 1954 [1] , Dallas , USA ) on amerikkalainen tietokonejärjestelmäteorian tiedemies, Turing-palkinnon voittaja. Hän on tällä hetkellä tietojenkäsittelytieteen professori Texasin yliopistossa .

Elämäkerta

Emerson suoritti kandidaatin tutkinnon matematiikassa Texasin yliopistosta Austinissa vuonna 1976 ja sovelletun matematiikan tohtorin tutkinnon Harvardin yliopistosta vuonna 1981 [2] .

Vuonna 2007 hänelle myönnettiin yhdessä esimiehensä Edmund Clarkin ja Joseph Sifakisin kanssa Turing-palkinto panoksestaan mallintarkistusteorian kehittämisessä .

Palkinnot

1998 - Paris Kanellakis -palkinto ( ACM ) [3]
1999 - Allen Newell -palkinto ( Carnegie Mellon Universityn tietojenkäsittelytieteen laitos ) [4]
2006 - Test-of-Time Award ( IEEE ) [5]
2007 - Turing Award Clarkin ja Sifakisin kanssa heidän roolistaan mallintarkistuksen kehittämisessä . Tämä on erittäin tehokas ohjelman varmennustekniikka, jota käytetään laajasti sekä ohjelmisto- että laitteistokehityksessä [6] [7]

Muistiinpanot

↑ 12 Allen Emerson Britannicassa
↑ Kanellakis-palkinto .
↑ ACM Award Citation / E Allen Emerson (linkki ei saatavilla)
↑ SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Arkistoitu 11. kesäkuuta 2011.
↑ Texasin yliopisto Austinissa - Tietojenkäsittelytieteiden laitos (linkki, jota ei voi käyttää)
↑ Vuosittaisen Turing Award -palkinnon saajat - Tiede ja teknologia - Compulenta julkistettu (pääsemätön linkki) . Haettu 19. helmikuuta 2009. Arkistoitu alkuperäisestä 21. helmikuuta 2009. (määrätön)
↑ ACM Award Citation/E Allen Emerson (linkki ei saatavilla) . Haettu 19. helmikuuta 2009. Arkistoitu alkuperäisestä 27. kesäkuuta 2009. (määrätön)

Kirjallisuus

Wilson Ann. ACM myöntää Kanellakis-palkinnon "symbolisen mallin tarkistuksen" kehittämisestä, jota käytetään tietokonejärjestelmien testauksessa . Computing Machinery Association (26. maaliskuuta 1999). Arkistoitu alkuperäisestä 5. kesäkuuta 2011. (määrätön)

Linkit

Professori Emersonin sivu Texasin yliopiston verkkosivuilla

Turing-palkinnon voittajat

Perlis (1966)
Wilks (1967)
Hamming (1968)
Minsky (1969)
Wilkinson (1970)
McCarthy (1971)
Dijkstra (1972)
Bachman (1973)
Whip (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)
Kukko (1987)
Sutherland (1988)
Kahan (1989)
Corbato (1990)
Milner (1991)
Lampson (1992)
Hartmanis
Stearns (1993)
Feigenbaum
Reddy (1994)
Bloom (1995)
Pnueli (1996)
Engelbart (1997)
Harmaa (1998)
Brooks (1999)
Yao (2000)
Dal
Nugor (2001)
Rivest
Shamir
Adleman (2002)
Kay (2003)
Surffaa
Kahn (2004)
Naur (2005)
Allen (2006)
Clark
emerson
Sifakis (2007)
Liskov (2008)
Thacker (2009)
Valiant (2010)
Pearl (2011)
Micali
Goldwasser (2012)
Lamport (2013)
Kivenmurtaja (2014)
Diffy
Hellman (2015)
Berners-Lee (2016)
Hennessy
Patterson (2017)
Bengio
Hinton
LeCun (2018)
Catmull
Hanrahan (2019)
Aho
Ulman (2020)
Dongarra (2021)

Temaattiset sivustot

Sanakirjat ja tietosanakirjat

Britannica (verkossa)

Bibliografisissa luetteloissa
GND : 1028534892 ISNI : 0000 0000 4372 5889 J9U : 987007439310505171 LCCN : nb99152470 NKC : xx0042097 NTA : 198036892 VIAF : 40252505 WorldCat VIAF : 40252505