premiosturing

Premios Turing
Rama
Programación
Inteligencia
artificial
Análisis
numérico
Base de datos
Análisis de
algoritmos
Creación de
software
Sistema
operativos
Criptografía
Hardware
Premiados
Alan Perlis (1966), Edsger Dijkstra (1972), Donald Knuth (1974), Michael Oser
Rabin y Dana Scott (1976), John Backus (1977), Robert W. Floyd (1978),
Kenneth E. Iverson (1979), C. Antony R. Hoare (1980), Niklaus Wirth (1984),
Robin Milner (1991), Butler Lampson (1992), Amir Pnueli (1996), Ole-Johan
Dahl y Kristen Nygaard (2001), Alan Kay (2003), Peter Naur (2005) y Barbara
Liskov (2008).
Marvin Minsky (1969), John McCarthy (1971), Allen Newell y Herbert
Alexander Simon (1975), Edward Feigenbaum y Raj Reddy (1994), y Judea
Pearl (2011), Leslie Lamport (2013).
Richard Hamming (1968), James Wilkinson (1970) y William (Velvel) Kahan
(1989),
Charles Bachman (1973), Edgar F. Codd (1981), Jim Gray (1998) y Michael
Stonebraker (2014).
Donald Knuth (1974) y Robert W. Floyd (1978), John Hopcroft y Robert Tarjan
(1986).
Robert W. Floyd (1978)
Kenneth L. Thompson y Dennis M. Ritchie (1983), Butler Lampson (1992) y
Frederick Brooks (1999).
Manuel Blum (1995); Andrew Chi-Chih Yao (2000); Ronald Rivest, Adi Shamir
y Leonard Adleman (2002); Silvio Micali y Shafi Goldwasser (2012); y
Whitfield Diffie y Martin Hellman (2015).
Fernando J. Corbató (1990), Edmund Clarke, E. Allen Emerson y Joseph
Sifakis (2007), John Cocke (1987), Vinton Cerf y Robert Kahn (2004).
NP-completitud Stephen A. Cook (1982), Richard M. Karp (1985)
Computación
Stephen A. Cook (1982), Ivan Sutherland (1988), William (Velvel) Kahan
(1989), Juris Hartmanis y Richard Stearns (1993), Manuel Blum (1995), Douglas
Engelbart (1997), Andrew Chi-Chih Yao (2000), Frances Allen (2006), Barbara
Liskov (2008), Charles Thacker (2009), Leslie Valiant (2010), Silvio Micali y
Shafi Goldwasser (2012), Maurice Wilkes (1967).