Emerson, Ernest Allen

Ernest Allen Emerson
Ernest Allen Emerson

Születési dátum	1954. június 2. (68 évesen)( 1954-06-02 )
Születési hely	Dallas [1]
Ország	USA
Tudományos szféra	Informatika
Munkavégzés helye	Texasi Egyetem
alma Mater	Texasi Egyetem , Harvard Egyetem
Akadémiai fokozat	Ph.D
tudományos tanácsadója	Clark, Edmund Melson
Ismert, mint	Modell validálás
Díjak és díjak	Turing-díj
Weboldal	cs.utexas.edu/~emerson/

Ernest Allen Emerson ( eng. Ernest Allen Emerson ; 1954 . június 2. [1] , Dallas , USA ) amerikai tudós a számítógépes rendszerelmélet területén, Turing-díjas. Jelenleg a Texasi Egyetem informatika professzora .

Életrajz

Emerson 1976-ban matematikából szerzett bachelor fokozatot az austini Texasi Egyetemen , majd 1981-ben Ph.D fokozatot alkalmazott matematikából a Harvard Egyetemen [2] .

2007 - ben felügyelőjével , Edmund Clarkkal és Joseph Sifakisszal együtt Turing-díjat kapott a modellellenőrzési elmélet fejlesztéséhez való hozzájárulásáért .

Díjak

1998 – Paris Kanellakis-díj ( ACM ) [3]
1999 – Allen Newell -díj ( a Carnegie Mellon Egyetem Számítástechnikai Tanszéke ) [4]
2006 – Test-of-Time Award ( IEEE ) [5]
2007 – Turing-díj Clarkkal és Sifakisszal a modellellenőrzés fejlesztésében játszott szerepükért , amely egy rendkívül hatékony programellenőrzési technika, amelyet széles körben használnak szoftver- és hardverfejlesztésben is [6] [7]

Jegyzetek

↑ 12 Allen Emerson a Britannicán
↑ Kanellakis-díj .
↑ ACM Award Citation/E Allen Emerson (a link nem érhető el)
↑ SZÁMÍTÁSTUDOMÁNYI ISKOLA, Carnegie Mellon Archiválva : 2011. június 11.
↑ Texasi Egyetem Austinban – Számítástechnikai Tanszék (elérhetetlen link)
↑ Az éves Turing-díj díjazottjai – Tudomány és technológia – A Compulenta bejelentette (elérhetetlen link) . Letöltve: 2009. február 19. Az eredetiből archiválva : 2009. február 21.. (határozatlan)
↑ ACM Award Citation/E Allen Emerson (a link nem érhető el) . Letöltve: 2009. február 19. Az eredetiből archiválva : 2009. június 27.. (határozatlan)

Irodalom

Wilson Ann. Az ACM Kanellakis-díjat adományoz a „szimbolikus modellellenőrzés” fejlesztéséért, amelyet a számítógépes rendszertervek tesztelésében használnak . Számítógépek Szövetsége (1999. március 26.). Archiválva az eredetiből 2011. június 5-én. (határozatlan)

Linkek

Emerson professzor oldala a Texasi Egyetem honlapján

Turing- díjasok

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

Tematikus oldalak

Szótárak és enciklopédiák

Britannica (online)

Bibliográfiai katalógusokban
GND : 1028534892 ISNI : 0000 0000 4372 5889 J9U : 987007439310505171 LCCN : nb99152470 NKC : xx0042097 NTA : 198036892 VIAF : 40252505 WorldCat VIAF : 40252505