Turing Award
Fra Wikipedia, den frie encyklopædi
A.M. Turing Award (el. Turing Award) er en pris, som gives én gang årligt af den amerikanske Association for Computing Machinery til en person udvalgt på grundlag af sine teknisk-videnskabelige bidrag til datalogien. Bidragene bør have varig og betydelig indflydelse. Hovedparten af modtagerne har været dataloger.
Prisen er opkaldt efter Alan Turing (1912-1954), en britisk matematiker som betragtes som datalogiens grundlægger. Prisen omtales nogle gange som "datalogiens nobelpris".
Nedenfor er en kort liste over modtagere af Turing Award med angivelse af det felt, deres bidrag falder inden for. Eneste dansker, der har modtaget Turing Award, er Peter Naur i 2005.
[redigér] Modtagere af Turing Award
- 1966 Alan J. Perlis (avancerede programmeringsteknikker, oversætterudviklimg)
- 1967 Maurice V. Wilkes (det internt lagrede program, program-biblioteker)
- 1968 Richard Hamming (numeriske metoder, systemer til automatisk kodning, fejl-detekterende og fejl-rettende koder)
- 1969 Marvin Minsky (kunstig intelligens)
- 1970 James H. Wilkinson (numerisk analyse, linær algebra, "baglæns" fejlanalyse)
- 1971 John McCarthy (kunstig intelligens)
- 1972 Edsger Dijkstra (programmeringssprog som videnskab og håndværk)
- 1973 Charles W. Bachman (database teknologi)
- 1974 Donald E. Knuth (analyser af algoritmer og design af programmeringssprog)
- 1975 Allen Newell og Herbert A. Simon (kunstig intelligens, the psychology of human cognition)
- 1976 Michael O. Rabin and Dana S. Scott (ikke-deterministiske maskiner)
- 1977 John Backus (højniveau programmeringssystemer, formelle metoder til specifikation af programmeringssprog)
- 1978 Robert W. Floyd (Metoder til effektive og pålidelige programmer)
- 1979 Kenneth E. Iverson (matematisk notation for programmeringssprog, implementation af interaktive systemer, brug af APL i undervisning, teori og praksis for programmeringssprog)
- 1980 C. A. R. Hoare (definition og design of programmeringssprog)
- 1981 Edgar F. Codd (database-styrings-systemer, specielt relationelle databaseser)
- 1982 Stephen A. Cook (kompleksitet af beregninger)
- 1983 Ken Thompson og Dennis M. Ritchie (teori for styresystemer, implementation af styresystemet UNIX)
- 1984 Niklaus Wirth (udvikling af programmeringssprog)
- 1985 Richard M. Karp (algoritmeteori, specielt teori om NP-komplethed)
- 1986 John Hopcroft og Robert Tarjan (design og analyse af algoritmer og datastrukturer)
- 1987 John Cocke (oversætterteori, arkitektur af store systemer, udvikling af reduced instruction set computers (RISC))
- 1988 Ivan Sutherland (computergrafik)
- 1989 William Kahan (numerisk analyse)
- 1990 Fernando J. Corbató (CTSS og Multics)
- 1991 Robin Milner (LCF, ML, CCS)
- 1992 Butler W. Lampson (distribuerede, personlige computersystemer)
- 1993 Juris Hartmanis og Richard E. Stearns (teori for kompleksitet af beregninger)
- 1994 Edward Feigenbaum og Raj Reddy (kunstig intelligens systemer i stor skala)
- 1995 Manuel Blum (teori for kompleksitet af beregninger og disse teoriers anvendelse inden for kryptografi and programverifikation)
- 1996 Amir Pnueli (temporallogik, program og system verifikation)
- 1997 Douglas Engelbart (interaktiv anvendelse af computere)
- 1998 James Gray (database- og transaktionshåndtering)
- 1999 Frederick P. Brooks (computer arkitektur, styresystemer, software engineering)
- 2000 Andrew Chi-Chih Yao (teori for beregning inkl. generering af pseudo-tilfældige tal, kryptografi og kompleksitet af kommunikation)
- 2001 Ole-Johan Dahl and Kristen Nygaard (objekt-orienteret programmering)
- 2002 Ronald L. Rivest, Adi Shamir and Leonard M. Adleman (public key kryptografi)
- 2003 Alan Kay (objekt-orienteret programmering)
- 2004 Vinton G. Cerf og Robert E. Kahn TCP/IP protocol suite
- 2005 Peter Naur Backus-Naur form
