Nagroda Turinga: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 8: | Linia 8: | ||
Wybrani laureaci: | Wybrani laureaci: | ||
1974 - '''Donald E. Knuth''' - za wielki wkład w analizę algorytmów oraz tworzenie języków programowania, a także za książkę Sztuka | 1974 - '''Donald E. Knuth''' - za wielki wkład w analizę algorytmów oraz tworzenie języków programowania, a także za książkę Sztuka programowania | ||
1982 - '''Stephen Cook''' – za zasadnicze pogłębienie naszej wiedzy w dziedzinie teorii złożoności obliczeniowej | 1982 - '''Stephen Cook''' – za zasadnicze pogłębienie naszej wiedzy w dziedzinie teorii złożoności obliczeniowej | ||
| Linia 18: | Linia 18: | ||
1995 - '''Manuel Blum''' - za wkład w rozwój teorii złożoności obliczeniowej oraz jej zastosowań w kryptografii i weryfikacji formalnej | 1995 - '''Manuel Blum''' - za wkład w rozwój teorii złożoności obliczeniowej oraz jej zastosowań w kryptografii i weryfikacji formalnej | ||
2000 - '''Andrew Chi-Chih Yao''' – w uznaniu znaczącego wkładu w rozwój teorii obliczeń, szczególnie teorii generatorów liczb | 2000 - '''Andrew Chi-Chih Yao''' – w uznaniu znaczącego wkładu w rozwój teorii obliczeń, szczególnie teorii generatorów liczb pseudolosowych, kryptografii i złożoności komunikacyjnej | ||
Aktualna wersja na dzień 22:21, 10 sie 2006
Nagroda Turinga (A.M.Turing Award)
Jest to jedna z najbardziej prestiżowych nagród w dziedzinie technik komputerowych, często określana mianem „Informatycznego Nobla”. Jej patronem jest wybitny matematyk, jeden z twórców informatyki Allan Mathison Turing (1912-1954).
Nagroda Turinga przyznawana jest corocznie od 1966 r. przez Association for Computing Machinery w uznaniu zasług o charakterze naukowym na rzecz społeczności informatyków. Osiągnięcia te muszą mieć charakter znaczący i wywierać długotrwały wpływ na polu technik komputerowych. Wyróżnieniu towarzyszy nagroda pieniężna w wysokości 100 tys. USD, której sponsorem jest firma Intel.
Wybrani laureaci:
1974 - Donald E. Knuth - za wielki wkład w analizę algorytmów oraz tworzenie języków programowania, a także za książkę Sztuka programowania
1982 - Stephen Cook – za zasadnicze pogłębienie naszej wiedzy w dziedzinie teorii złożoności obliczeniowej
1985 - Richard M. Karp – za wieloletni wkład w rozwój teorii obliczeń
1993 - Juris Hartmanis, Richard E. Stearns - za pracę, która stworzyła podstawy dla teorii złożoności obliczeniowej
1995 - Manuel Blum - za wkład w rozwój teorii złożoności obliczeniowej oraz jej zastosowań w kryptografii i weryfikacji formalnej
2000 - Andrew Chi-Chih Yao – w uznaniu znaczącego wkładu w rozwój teorii obliczeń, szczególnie teorii generatorów liczb pseudolosowych, kryptografii i złożoności komunikacyjnej
