Turing-prisen

A.M. Turing-prisen (eng. A.M. Turing Award) er en pris som gives én gang årligt af den amerikanske Association for Computing Machinery (ACM) 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”. Fra 2007 til 2013 udløste prisen en pengesum på $250.000 med støtte fra Intel og Google. Siden 2014 har prisen udløst en pengesum på 1 million $, med støtte fra Google.

Nedenfor er en liste over modtagere af Turing-prisen med angivelse af det felt, deres bidrag falder inden for. Den eneste dansker, der har modtaget Turing-prisen, er Peter Naur i 2005 for fundamentale bidrag til design af programmeringssprog, definitionen af ALGOL 60, til design af compilere og til computerprogrammering.

Modtagere af Turing Award[redigér | rediger kildetekst]

1960'erne

1966 Alan J. Perlis (avancerede programmeringsteknikker, oversætterudvikling)
1967 Maurice V. Wilkes (det internt lagrede program, programbiblioteker)
1968 Richard Hamming (numeriske metoder, systemer til automatisk kodning, fejl-detekterende og fejl-rettende koder)
1969 Marvin Minsky (kunstig intelligens)

1970'erne

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 (databaseteknologi)
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'erne

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)