E. Allen Emerson
E. Allen Emerson (Dallas (Texas ), 2 juni 1954 ), is een Amerikaans informaticus . Emerson heeft bijdragen geleverd op het gebied van tijdslogica , model checking en formele verificatie. Samen met Edmund M. Clarke en Joseph Sifakis won hij in 2007 de Turing Award .
Biografie
In 1976 heeft Emerson een Bachelor of Science behaald in wiskunde aan de Universiteit van Texas in Austin . Zijn Ph.D. behaalde hij in 1981 aan de Harvard-universiteit in toegepaste wiskunde .[1]
In 1985 ontving hij de Best Software Paper Award op de 18th Hawaii International Systems Sciences Conference .[1] In 1998 ontving hij samen met Randal E. Bryant, Edmund M. Clarke en Kenneth L. McMillan de Paris Kanellakis Award voor Symbolic model checking .[2] [1] In 1999 ontving hij samen met hen ook de Allen Newell Award for Research Excellence van de Carnegie Mellon University .[3]
In 2007 won hij samen met Edmund M. Clarke en Joseph Sifakis de Turing Award voor hun werk over model checking:
For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.
— Association for Computing Machinery
[4]
Externe link
1966: Alan J. Perlis ·
1967: Maurice V. Wilkes ·
1968: Richard Hamming ·
1969: Marvin Minsky ·
1970: J.H. Wilkinson ·
1971: John McCarthy ·
1972: Edsger Dijkstra ·
1973: Charles W. Bachman ·
1974: Donald E. Knuth ·
1975: Allen Newell , Herbert Simon ·
1976: Michael Rabin , Dana S. Scott ·
1977: John Backus ·
1978: Robert W. Floyd ·
1979: Kenneth E. Iverson ·
1980: Tony Hoare ·
1981: Edgar F. (Ted) Codd ·
1982: Stephen A. Cook ·
1983: Ken Thompson , Dennis M. Ritchie ·
1984: Niklaus Wirth ·
1985: Richard M. Karp ·
1986: John Hopcroft , Robert Tarjan ·
1987: John Cocke ·
1988: Ivan Sutherland ·
1989: William Kahan ·
1990: Fernando J. Corbató ·
1991: Robin Milner ·
1992: Butler Lampson ·
1993: Juris Hartmanis , Richard E. Stearns ·
1994: Edward Feigenbaum, Raj Reddy ·
1995: Manuel Blum ·
1996: Amir Pnueli ·
1997: Douglas Engelbart ·
1998: Jim Gray ·
1999: Frederick P. Brooks, Jr. ·
2000: Andrew Chi-Chih Yao ·
2001: Ole-Johan Dahl , Kristen Nygaard ·
2002: Ron Rivest , Adi Shamir , Leonard M. Adleman ·
2003: Alan Kay ·
2004: Vinton G. Cerf , Robert E. Kahn ·
2005: Peter Naur ·
2006: Frances E. Allen ·
2007: Edmund M. Clarke , E. Allen Emerson , Joseph Sifakis ·
2008: Barbara Liskov ·
2009: Charles Thacker ·
2010: Leslie Valiant ·
2011: Judea Pearl ·
2012: Shafi Goldwasser , Silvio Micali ·
2013: Leslie Lamport ·
2014: Michael Stonebraker ·
2015: Martin Hellman, Whitfield Diffie ·
2016: Tim Berners-Lee ·
2017: John L. Hennessy, David Patterson ·
2018: Yoshua Bengio , Geoffrey Hinton , Yann LeCun ·
2019: Patrick M. Hanrahan, Edwin E. Catmull ·
2020: Alfred Aho , Jeffrey Ullman ·
2021: Jack Dongarra ·
2022: Robert Metcalfe ·
2023: Avi Wigderson
The article is a derivative under the Creative Commons Attribution-ShareAlike License .
A link to the original article can be found here and attribution parties here
By using this site, you agree to the Terms of Use . Gpedia ® is a registered trademark of the Cyberajah Pty Ltd