Nagroda Turinga

Z Wikipedii

Masz nowe wiadomości (różnica z poprzednią wersją).

Ten artykuł wymaga dopracowania.
Należy w nim poprawić: tłumaczenie uzasadnień.
Więcej informacji co należy poprawić, być może znajdziesz w dyskusji tego artykułu lub na odpowiedniej stronie. W pracy nad artykułem należy korzystać z zaleceń edycyjnych. Po naprawieniu wszystkich błędów można usunąć tę wiadomość.
Możesz także przejrzeć pełną listę stron wymagających dopracowania.

Nagroda Turinga jest prestiżowym wyróżnieniem przyznawanym corocznie przez ACM za wybitne osiągnięcia w dziedzinie informatyki.

Nagroda Turinga uznawana jest za branżowego "Nobla". Nosi imię Alana Mathisona Turinga, brytyjskiego matematyka uznawanego za jednego z ojców współczesnej informatyki. Nagroda jest sponsorowana przez firmę Intel, obecnie każdy uhonorowany otrzymuje kwotę 100 000$.

[edytuj] Wyróżnieni

Rok	Wyróżnieni	Uzasadnienie
1966	Alan Perlis	za wpływ na rozwój zaawansowanych technik programowania i budowy kompilatorów
1967	Maurice V. Wilkes	za wkład w budowę pierwszych komputerów i wprowadzenie bibliotek programistycznych
1968	Richard Hamming	za pracę nad metodami numerycznymi, automatycznymi systemami kodowania oraz kodami wykrywającymi i korygującymi błędy
1969	Marvin Minsky	za pracę nad sztuczną inteligencją
1970	James H. Wilkinson	za badania w dziedzinie metod numerycznych, które ułatwiły wykorzystanie komputerów, oraz badania na polu algebry liniowej i wstecznej analizy błędów
1971	John McCarthy	za znaczący wkład w dziedzinie sztucznej inteligencji
1972	Edsger Dijkstra	za wiodący wkład w stworzenie wysokopoziomowego języka programowania Algol, który stał się modelowym przykładem dla dalszego rozwoju innych języków oraz za znaczący wkład w nasze rozumienie struktury, reprezentacji i implementacji języków programowania w ogóle.
1973	Charles W. Bachman	za wybitne osiągnięcia w dziedzinie teorii baz danych
1974	Donald E. Knuth	za istotny wkład w analizę algorytmów oraz projektowanie języków programowania, a w szczególności za rozwój sztuki programowania poprzez napisanie serii książek o tym samym tytule
1975	Allen Newell Herbert Simon	za dwudziestoletnie badania nad sztuczną inteligencją i psychologią ludzkiego poznania
1976	Michael O. Rabin Dana S. Scott	za pracę napisaną w 1959: Finite Automata and Their Decision Problem, która wprowadzała ideę maszyn niedeterministycznych, inspirującą w następnych latach liczne badania na tym polu
1977	John Backus	za stworzenie języka programowania Fortran, pierwszego powszechnie używanego języka wysokiego poziomu, oraz za stworzenie (wraz z Peterem Naurem) notacji BNF wykorzystywanej do zapisu składni języków programowania
1978	Robert W. Floyd	za istotny wpływ na metodologię tworzenia efektywnego i niezawodnego oprogramowania i za udział w powstaniu ważnych poddziedzin nauk komputerowych: teorii parsowania, semantyki języków programowania, automatycznej weryfikacji programów, automatycznej syntezy programów i analizy algorytmów
1979	Kenneth E. Iverson	za wkład do teorii programowania i notacji matematycznych
1980	C. Antony R. Hoare	za wkład w rozwój języków programowania
1981	Edgar F. Codd	za zasadniczy i ciągły wkład w teorię i praktykę systemów zarządzania bazą danych, zwłaszcza relacyjnych baz danych
1982	Stephen A. Cook	za fundamentalny wkład w rozwój teorii złożoności obliczeniowej
1983	Ken Thompson Dennis Ritchie	za rozwój ogólnej teorii systemów operacyjnych, a szczególnie za implementację UNIX-a
1984	Niklaus Wirth	za rozwój szeregu innowacyjnych języków programowania: Euler, Algol-W, Modula i Pascal
1985	Richard M. Karp	za wkład w rozwój teorii obliczeń
1986	John Hopcroft Robert Tarjan	za wkład w tworzenie i analizę algorytmów i struktur danych
1987	John Cocke	za znaczący wkład w projektowanie i teorię kompilatorów, architektury dużych systemów oraz rozwój RISC
1988	Ivan Sutherland	za opracowanie Sketchpada i związane z tym prace
1989	William Kahan	za swój wkład w opracowanie standardu zapisu liczb zmiennoprzecinkowych i rozwój obliczeń na takich liczbach
1990	Fernando J. Corbató	za pionierską pracę w organizacji koncepcji i przewodzenie rozwojowi systemów komputerowych general-purpose, large-scale, z podziałem czasu i podziałem zasobów (CTSS i Multics)
1991	Robin Milner	trzy wyraźne i kompletne osiągnięcia: LCF (zadaniem LCF było automatyczne dowodzenie poprawności funkcyjnych programów) ML (pierwszy język udostępniający typy polimorficzne) CCS (generalna teoria zbieżności)
1992	Butler W. Lampson	za wkład w rozwój osobistych środowisk komputerowych oraz technologii ich implementacji: stacji roboczych, sieci, systemów operacyjnych, systemów programistycznych, wyświetlaczy, zabezpieczeń, publikacji dokumentów
1993	Juris Hartmanis Richard E. Stearns	za stworzenie teorii złożoności obliczeniowej
1994	Edward Feigenbaum Raj Reddy	za pionierskie projekty i konstrukcje wielkoskalowych systemów sztucznej inteligencji, pokazujące praktyczne znaczenie i potencjalny komercyjny wpływ technologii sztucznej inteligencji
1995	Manuel Blum	za wkład w rozwój teorii złożoności obliczeniowej oraz jej zastosowań w kryptografii i weryfikacji formalnej
1996	Amir Pnueli	za wprowadzenie logiki temporalnej do informatyki oraz znaczący wkład w weryfikację systemów i programów
1997	Douglas Engelbart	za inspirującą wizję przyszłości komputerów interaktywnych i wynalezienie kluczowych technologii pomocnych w realizacji tej wizji
1998	James Gray	za wkład w dziedzinie teorii baz danych, szczególnie w dziedzinie przetwarzania transakcyjnego
1999	Frederick P. Brooks, Jr.	za wkład w dziedzinie architektury komputerów, systemów operacyjnych i inżynierii oprogramowania
2000	Andrew Chi-Chih Yao	za wkład w rozwój teorii obliczeń, a w szczególności teorii generatorów liczb pseudolosowych, kryptografii i złożoności komunikacyjnej
2001	Ole-Johan Dahl Kristen Nygaard	za współtworzenie koncepcji obiektowych języków programowania i opracowania języka Simula
2002	Ronald L. Rivest Adi Shamir Leonard M. Adleman	za wkład w rozwój kryptografii asymetrycznej
2003	Alan Kay	za pionierską pracę nad obiektowymi językami programowania jako lider zespołu tworzącego język Smalltalk i fundamentalny wkład w rozwój komputerów osobistych
2004	Vinton G. Cerf Robert E. Kahn	za wkład w stworzenie i rozwój protokołów komunikacji internetowej (twórcy protokołu TCP – 1974)
2005	Peter Naur	za wkład w definicję języka Algol 60, w konstrukcję kompilatorów, oraz w sztukę i praktykę programowania
2006	Frances E. Allen	za wkład, który zasadniczo poprawił rozwiązywanie problemów w programach komputerowych, oraz przyspieszył użycie wysokowydajnych obliczeń