4csanchezpremiosturing

PREMIOS TURING

Modalidades
Programación avanzada
Construcción de
computadora
Análisis numérico
Inteligencia artificial
Base de datos
Autómatas finitos
Complejidad
computacional
Sistemas operativos
Compiladores
Computación gráfica
Premiados
Alan Perlis(1966),Edsger Dijkstra(1972),Donald
Knuth(1974),John Backus(1977),Robert W. Floyd(1978),
Kenneth E. Iverson(1979),C. Antony R. Hoare(1980),
Niklaus Wirth(1985),Butler Lampson(1992),Barbara
Liskov(2008)
Maurice Wilkes(1967),Frederick Brooks(1999),Charles
Thacker(2009)
Richard Hamming(1968),James Wilkinson(1970), Niklaus
Wirth(1984),John Hopcroft(1986)
Robert Tarjan(1986),William (Velvel) Kahan(1989)
Marvin Minsky(1969),John McCarthy(1971),Allen Newell
(1975)
Herbert Alexander Simon(1975),Edward
Feigenbaum(1994)
Raj Reddy(1994),Judea Pearl(2011)
Charles Bachman(1973),Edgar F. Codd(1981),Jim Gray,
(1998)Michael Stonebraker(2014)
Michael Oser Rabin(1976)
Dana Scott(1976)
Stephen A. Cook,(1982)Manuel Blum(1995)
Kenneth L. Thompson(1983)
Dennis M. Ritchie(1983)
John Cocke(1987),Peter Naur(2005)
Ivan Sutherland,Juris Hartmanis(1993)
Richard Stearns(1993)
CTSS Y Multics Fernando J. Corbató(1990)
Sistemas concurrentes , picálculo
Robin Milner(1991)
Lógica temporal Amir Pnueli(1996)
Computación interactiva
Criptografía
Programación orientada a
objetos
TCP/IP
Douglas Engelbart(1997)
Andrew Chi-Chih Yao(2000),Ronald Rivest(2002)
Adi Shamir(2002)
Leonard Adleman(2002),Silvio Micali(2012)
Shafi Goldwasser(2012)Whitfield Diffie(2015)
Martin Hellman(2015)
Ole-Johan Dahl (2001)
Kristen Nygaard(2001),Alan Kay(2003)
Vinton Cerf(2004), Robert Kahn(2004)

Sistemas de computación
Errores software y
hardware
Sistemas distribuidos
Frances Allen(2006),Leslie Valiant(2010)
Edmund Clarke (2007)
E. Allen Emerson(2007)
Joseph Sifakis(2007)
Leslie Lamport(2013)