Nagroda Turinga - Nauka

Nagroda Turinga

Z Wikipedii

Skocz do: nawigacji, szukaj
 Ten artykuł wymaga dopracowania zgodnie z zaleceniami edycyjnymi.
Należy w nim poprawić: tłumaczenie uzasadnień.
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się na stronie dyskusji tego artykułu w sekcji Dopracować
Po wyeliminowaniu wskazanych powyżej niedoskonałości prosimy usunąć szablon {{Dopracować}} z kodu tego artykułu.

Nagroda Turinga – przyznawana corocznie przez ACM nagroda za wybitne osiągnięcia w dziedzinie informatyki.

Nagroda Turinga uznawana jest za odpowiednik Nagrody Nobla. Nazwana została dla uczczenia jednego z twórców współczesnej informatyki, brytyjskiego matematyka Alana Turinga. Wysokość nagrody wynosi 250 000 dolarów, obecnie jej sponsorami są firmy Intel i Google.

[edytuj] Wyróżnieni

Rok Wyróżnieni Uzasadnienie
1966 Stany Zjednoczone Alan Perlis Za wpływ na rozwój zaawansowanych technik programowania i budowy kompilatorów.
1967 Wielka Brytania Maurice V. Wilkes Profesor Wilkes jest znany jako projektant i wykonawca pierwszego komputera wykorzystującego program przechowywany w pamięci wewnętrznej. Zbudowany w 1949 roku EDSAC używał pamięci rtęciowej. Znany jest również jako współautor książki "Preparation of Programs for Electronic Digital Computers" z 1951 roku, w której razem z Davidem Johnem Wheelerem i Stanleyem Gillem wprowadzili koncepcję biblioteki programistycznej.
1968 Stany Zjednoczone Richard Hamming Za pracę nad metodami numerycznymi, automatycznymi systemami kodowania oraz kodami wykrywającymi i korygującymi błędy.
1969 Stany Zjednoczone Marvin Minsky Za pracę nad sztuczną inteligencją.
1970 Wielka Brytania James H. Wilkinson Za badania w dziedzinie analizy numerycznej w celu ułatwienia stosowania komputerów cyfrowych wysokiej prędkości, otrzymał specjalny dowód uznania za pracę w obliczaniu algebry liniowej i wstecznej analizie błędów.
1971 Stany Zjednoczone John McCarthy Wykład dr. McCarthyego "Obecny stan badań nad sztuczną inteligencją" jest tematem, który pokrywa obszar, w którym osiągnął poważne uznanie za swoją pracę.
1972 Holandia Edsger Dijkstra Edsger Dijkstra był główną osobą wnoszącą wkład w późnych latach 50. w rozwój ALGOLu, wysoko poziomowego języka programowania, który stał się przykładem przejrzystości i matematycznej dokładności. Jest jednym z głównych przedstawicieli sztuki języków programowania i nauki z nimi związanej w ogóle, a także ogromnie przyczynił się do naszego rozumienia ich budowy, opisu i realizacji. Piętnaście lat jego publikacji rozciąga się od artykułów teoretycznych na temat teorii grafów, do podstawowych podręczników, wyjaśniających tekstów i filozoficznych rozważań w dziedzinie języków programowania.
1973 Stany Zjednoczone Charles W. Bachman Za wybitny wkład w technologię baz danych.
1974 Stany Zjednoczone Donald E. Knuth Za poważny wkład w analizę algorytmów i projektowanie języków programowania i szczególnie za wkład w "Sztukę programowania" poprzez znaną serię książek pod tym samym tytułem.
1975 Stany Zjednoczone Allen Newell

Stany Zjednoczone Herbert Simon

 We wspólnych naukowych staraniach, rozciągających sie przez 20 lat, początkowo we współpracy z J. C. Shawem i RAND Corporation, później wraz z licznymi kolegami z wydziału i studentami Carnegie Mellon University w Pittsburghu, wnieśli fundamentalny wkład w badania nad sztuczną inteligencją, psychologią ludzkiego poznania i procesem ewidencji.
1976 Alemán Michael O. Rabin

Stany Zjednoczone Dana S. Scott

 Za wspólnie napisaną pracę "Finite Automata and Their Decision Problem" która wprowadziła ideę Niedeterministycznego automatu skończonego która dowiodła iż jest ogromnie wartościowym pojęciem. Ich(Scotta i Rabina) książka jest nieprzerwaną inspiracją dla późniejszych prac w tej dziedzinie.
1977 Stany Zjednoczone John Backus Za dogłębny, wpływowy i trwały wkład w projekt praktycznych metod wysoko poziomowego programowania, w znacznej mierze poprzez pracę nad Fortranem i za płodne publikacje na temat formalistycznych procedur dla dokumentacji języków programowania.
1978 Stany Zjednoczone Robert W. Floyd Za istotny wpływ na metodologię tworzenia wydajnych i niezawodnych oprogramowań. Za pomoc w ufundowaniu badań nad istotnymi dziedzinami informatyki: teorii parsowania, semantykę języków programowania, automatyczną weryfikację formalną, automatyczną syntezę programów, i analizę algorytmów.
1979 Kanada Kenneth E. Iverson Za pionierski wysiłek w językach programowania i matematyczny zapis z którego wynikł język programowania obecnie znany jako APL, za jego wkład w realizację systemów interaktywnych, edukacyjne wykorzystanie APL i w teorię i praktykę języków programowania.
1980 Wielka Brytania C. Antony R. Hoare Za istotny wkład w określenie i projekt języków programowania.
1981 Wielka Brytania Edgar F. Codd Za zasadniczy i trwały wkład w teorię i praktykę systemu zarządzania bazą danych a zwłaszcza w model baz danych oparty na postulatach relacyjności.
1982 Stany Zjednoczone Stephen A. Cook Za postęp w zrozumieniu teorii złożoności obliczeniowej w sposób znaczący i dogłębny.
1983 Stany Zjednoczone Ken Thompson
Stany Zjednoczone Dennis Ritchie		 Za ogólny rozwój teorii systemów operacyjnych, a szczególnie za napisanie systemu operacyjnego Unix.
1984 Szwajcaria Niklaus Wirth Za rozwinięcie szeregu nowatorskich języków programowania Euler, Algol W, Pascal i Modula. Pascal stał się językiem ważnym z punktu widzenia edukacji, a także podstawą do dalszych badań nad językami, systemami i architekturami komputerowymi.
1985 Stany Zjednoczone Richard M. Karp Za trwały wkład w teorię algorytmów, włącznie z rozwojem wydajnych algorytmów dla problemu przepływu w sieciach oraz innych problemów optymalizacji kombinatorycznej, identyfikację wielomianowego czasu wykonania z intuicyjnym pojęciem algorytmicznej wydajności i to, co najbardziej znaczące, wkład w teorię NP-zupełności. Karp wprowadził nową metodologię dowodzenia NP-zupełności problemów, co pozwoliło zidentyfikować wiele zagadnień teoretycznych jako trudne obliczeniowo.
1986 Stany Zjednoczone John Hopcroft
Stany Zjednoczone Robert Tarjan		 Za fundamentalny wkład w projektowanie i analizę algorytmów i struktur danych.
1987 Stany Zjednoczone John Cocke Za znaczący wkład w teorię i projektowanie kompilatorów, w architekturę dużych systemów i w rozwój architektury RISC; za wynalezienie i usystematyzowanie podstawowych przekształceń optymalizacyjnych używanych obecnie w kompilatorach: redukcję siły operatorów (ang. reduction of operator strength), eliminację wspólnych podwyrażeń (ang. elimination of common subexpressions), alokację rejestrów (ang. register allocation), propagację stałych (ang. constant propagation) i eliminację nieużytecznego kodu (ang. dead code elimination).
1988 Stany Zjednoczone Ivan Sutherland Za pionierski i wizjonerski wkład w grafikę komputerową, którego początkiem był Sketchpad i jego dalszą kontynuację.
1989 Kanada William Kahan Za istotny wkład w analizę numeryczną . Czołowy ekspert od obliczania liczb zmiennoprzecinkowych. Kahan oddał się sprawie "zrobienia bezpiecznego świata dla obliczeń liczbowych".
1990 Stany Zjednoczone Fernando J. Corbató Za pionierską pracę w uporządkowaniu pomysłów i kierowanie rozwojem systemów komputerowych na dużą skalę, ogólnego przeznaczenia z podziałem czasu i zasobów, CTSS i MULTICS.
1991 Wielka Brytania Robin Milner Za trzy odmienne i skończone dokonania:
  • 1) LCT, mechanizacja "Logiki funkcji obliczeniowych" Scotta, prawdopodobnie pierwszym opartym na teori, a zarazem praktycznym narzędziem dla automatycznego dowodzenia twierdzeń;
  • 2) ML pierwszy język uwzględniający wielokształtny typ wnioskowania, razem z mechanizmem dynamicznego typowania wyjątków;
  • 3) CCS, ogólna teoria współbierzności. Dodatkowo, sformułował i mocno zaawansował pełną abstrakcje, nauke o związkach zachodzących pomiędzy semantyką operacyjną a znaczeniową.
1992 Stany Zjednoczone Butler W. Lampson Za wkład w rozwój rozprowadzanych osobistych środowisk komputerowych i technologi ich wykonania: stacji roboczej, sieci komputerowej, systemu operacyjnego, oprogramowania, monitora, bezpieczeństwa teleinformatycznego i procesora tekstu.
1993 Stany Zjednoczone Juris Hartmanis
Stany ZjednoczoneRichard E. Stearns		 W dowód uznania za przełomową pracę, która ustaliła fundamenty pod dziedzinę teorii złożoności obliczeniowej.
1994 Stany Zjednoczone Edward Feigenbaum
Indie 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 Venezuela Manuel Blum W dowód uznania za wkład w rozwój teorii złożoności obliczeniowej oraz jej zastosowań w kryptografii i weryfikacji formalnej.
1996 Izrael Amir Pnueli Za wprowadzenie logiki temporalnej do informatyki oraz znaczący wkład w weryfikację systemów i programów.
1997 Stany Zjednoczone Douglas Engelbart Za inspirującą wizję przyszłości komputerów interaktywnych i wynalezienie kluczowych technologii pomocnych w realizacji tej wizji.
1998 Stany Zjednoczone James Gray Za wkład w dziedzinie teorii baz danych, szczególnie w dziedzinie przetwarzania transakcyjnego.
1999 Stany Zjednoczone Frederick P. Brooks, Jr. Za wkład w dziedzinie architektury komputerów, systemów operacyjnych i inżynierii oprogramowania.
2000 Chiny 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 Norwegia Ole-Johan Dahl

Norwegia Kristen Nygaard

 Za współtworzenie koncepcji obiektowych języków programowania i opracowania języka Simula.
2002 Stany Zjednoczone Ronald L. Rivest
Izrael Adi Shamir

Stany Zjednoczone Leonard M. Adleman

 Za pomysłowy wkład w uczynienie kryptografii asymetrycznej użytecznej w praktyce.
2003 Stany Zjednoczone 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 Stany Zjednoczone Vinton G. Cerf
Stany Zjednoczone Robert E. Kahn		 Za pionierskie prace nad internetem, wliczając w to projekt i wykonanie podstawowych protokołów komunikacyjnych TCP/IP i za przewodnictwo w badaniach na Internetem.
2005 Dania Peter Naur Za wkład w definicję języka Algol 60, konstrukcję kompilatorów oraz sztukę i praktykę programowania.
2006 Stany Zjednoczone Frances E. Allen Za wkład, który zasadniczo poprawił rozwiązywanie problemów w programach komputerowych, oraz przyspieszył użycie wysokowydajnych obliczeń.

[edytuj] Zobacz też

[edytuj] Linki zewnętrzne






Czy wiesz co Twoje dziecko robi w sieci?
Safer Internet PLUS. Pod patronatem Komisji Europejskiej realizowany jest od kilku lat projekt SAFER INTERNET - Bezpieczny Internet. W ramach tego projektu realizowana jest finansowana przez Komisję Europejską akcja Safer Internet Awarness - SafeBorders. Rozłożona została w czasie na 3 etapy: 1999-2002 - analiza problemu 2003-2004 - realizacja programu 2004-2008 - Safer Internet PLUS - konsultacje społeczne. Oficjalna...
Co robią polskie dzieci w Sieci?
Z internetu korzysta już ponad dwa razy więcej polskich dzieci i młodzieży niż dorosłych Polaków wynika z sondażu Centrum Badań Opinii Społecznej (CBOS). Co ciekawe, większość rodziców wierzy, że ich pociechy wykorzystują internet do przygotowywania się do lekcji i szukania informacji... Według komunikatu CBOS już 58 proc. polskich dzieci i młodzieży korzysta z internetu. Jest to ponad dwa razy więcej niż dorosłych Polaków (26 proc.) Prawie 60 proc. dzieci i...
Ochrona dzieci przed niepożądanymi treściami w sieci
Parlament Europejski zalecił ochronę dzieci przed niepożądanymi treściami witryn internetowych. W przyjętej rezolucji zaproponowano, aby strony internetowe przeznaczone dla dzieci nosiły specjalny znak Kid .W rezolucji eurodeputowani zażądali wprowadzenia technicznych rozwiązań, które uniemożliwiałyby dzieciom dostęp do stron zawierających pornografię, przemoc, treści ksenofobiczne i rasistowskie. Zdaniem Parlamentu nadszedł czas, by dostawcy usług internetowych zapewnili rodzicom proste w obsłudze oprogramowanie, automatycznie filtrujące niepożądane treści.
Duńscy rodzice przygotowują dzieci na niebezpieczne treści
Rozwój nowych mediów oznacza nowe potencjalne kanały rozpowszechniania i dostępu do pornografii. W Danii przeprowadzone zostały badania wśród rodziców na temat korzystania z Internetu przez ich dzieci. Przedstawiamy wyniki tych badań:
ISPS w Szwecji blokują pornografię dziecięcą
W kwietniu 2005 roku, wszyscy najważniejsi dostawcy usług internetowych (ISPs) w Szwecji zgodzili się na blokowanie stron, które zawierają pornografię dziecięcą....

odchudzanie Zamki Akcesoria motocyklowe hale Najlepsza ekonomia