Emerson, Ernest Allen

Ernest Allen Emerson
Ernest Allen Emerson

Födelsedatum	2 juni 1954 (68 år)( 1954-06-02 )
Födelseort	Dallas [1]
Land	USA
Vetenskaplig sfär	Informatik
Arbetsplats	University of Texas
Alma mater	University of Texas , Harvard University
Akademisk examen	Ph.D
vetenskaplig rådgivare	Clark, Edmund Melson
Känd som	Modellvalidering
Utmärkelser och priser	Turing Award
Hemsida	cs.utexas.edu/~emerson/

Ernest Allen Emerson ( eng. Ernest Allen Emerson ; född 2 juni 1954 [1] , Dallas , USA ) är en amerikansk vetenskapsman inom området datorsystemteori, vinnare av Turing Award. Han är för närvarande professor i datavetenskap vid University of Texas .

Biografi

Emerson fick en kandidatexamen i matematik från University of Texas i Austin 1976 och en doktorsexamen i tillämpad matematik från Harvard University 1981 [2] .

2007 tilldelades han , tillsammans med sin handledare Edmund Clark och Joseph Sifakis, Turing-priset för sina bidrag till utvecklingen av modellkontrollteori .

Utmärkelser

1998 - Paris Kanellakis Award ( ACM ) [3]
1999 - Allen Newell Award (Institutionen för datavetenskap vid Carnegie Mellon University ) [4]
2006 - Test-of-Time Award ( IEEE ) [5]
2007 - Turing Award med Clark och Sifakis för deras roll i utvecklingen av modellkontroll , en mycket effektiv programverifieringsteknik som ofta används i både mjukvaru- och hårdvaruutveckling [ 6] [7]

Anteckningar

↑ 12 Allen Emerson om Britannica
↑ Kanellakis utmärkelse .
↑ ACM Award Citation/E Allen Emerson (länk ej tillgänglig)
↑ SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Arkiverad 11 juni 2011.
↑ University of Texas i Austin - Institutionen för datavetenskap (otillgänglig länk)
↑ Pristagare av det årliga Turing-priset - Vetenskap och teknik - Compulenta tillkännages (otillgänglig länk) . Hämtad 19 februari 2009. Arkiverad från originalet 21 februari 2009. (obestämd)
↑ ACM Award Citation/E Allen Emerson (länk ej tillgänglig) . Hämtad 19 februari 2009. Arkiverad från originalet 27 juni 2009. (obestämd)

Litteratur

Wilson Ann. ACM tilldelar Kanellakis-priset för utveckling av "Symbolisk modellkontroll", som används för att testa datorsystemdesigner . Association for Computing Machinery (26 mars 1999). Arkiverad från originalet den 5 juni 2011. (obestämd)

Länkar

Professor Emersons sida på University of Texas webbplats

Vinnare av Turingpriset

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)
Cock (1987)
Sutherland (1988)
Kahan (1989)
Corbato (1990)
Milner (1991)
Lampson (1992)
Hartmanis
Stearns (1993)
Feigenbaum
Reddy (1994)
Bloom (1995)
Pnueli (1996)
Engelbart (1997)
Grey (1998)
Brooks (1999)
Yao (2000)
Dal
Nugor (2001)
Rivest
Shamir
Adleman (2002)
Kay (2003)
Surfa
Kahn (2004)
Naur (2005)
Allen (2006)
Clark
emerson
Sifakis (2007)
Liskov (2008)
Thacker (2009)
Valiant (2010)
Pearl (2011)
Micali
Goldwasser (2012)
Lamport (2013)
Stonebreaker (2014)
Diffy
Hellman (2015)
Berners-Lee (2016)
Hennessy
Patterson (2017)
Bengio
Hinton
LeCun (2018)
Kattmull
Hanrahan (2019)
Aho
Ulman (2020)
Dongarra (2021)

Tematiska platser

Ordböcker och uppslagsverk

Britannica (online)

I bibliografiska kataloger
GND : 1028534892 ISNI : 0000 0000 4372 5889 J9U : 987007439310505171 LCCN : nb99152470 NKC : xx0042097 NTA : 198036892 VIAF : 40252505 WorldCat VIAF : 40252505