Penghargaan Turing: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k robot Adding: fi:Turing-palkinto, ru:Премия Тьюринга |
Tidak ada ringkasan suntingan Tag: Pengembalian manual |
||
| (47 revisi perantara oleh 33 pengguna tidak ditampilkan) | |||
Baris 1:
{{terjemah|Inggris}}
{{Infobox award
Penghargaan '''A.M. Turing Award''' diberikan setiap tahun oleh [[Association for Computing Machinery]] kepada mereka yang terpilih karena kontribusinya yang bersifat teknik kepada dunia [[ilmu komputer]]. ▼
| name = ACM Turing Award
| image = Turing-statue-Bletchley 11.jpg
| imagesize =
| description = Kontribusi luar biasa dalam bidang [[Ilmu komputer]]
| presenter = [[Association for Computing Machinery]] (ACM)
| country = [[New York]], ([[United States]])
| reward = US $250,000
| year = 1966
| year2 = 2012
| website = {{URL|http://amturing.acm.org}}
}}
▲'''Penghargaan Turing''' ({{lang-en|A.M. Turing Award
Penghargaan ini dinamakan berdasarkan nama [[Alan Turing|Alan Mathison Turing]] ([[1912]]–[[1954]]), seorang matematikawan dari [[Inggris]] yang dianggap sebagai salah satu bapak ilmu komputer modern.▼
▲Penghargaan ini dinamakan berdasarkan nama [[Alan Turing|Alan Mathison Turing]] ([[1912]]
==Penerima penghargaan==▼
▲== Penerima penghargaan ==
{| {{prettytable}}
|- style="background-color: #ccc"
Baris 14 ⟶ 26:
|[[1966]]
|[[Alan Perlis|Alan J. Perlis]]
|''
|-
|[[1967]]
|[[Maurice V. Wilkes]]
|''Professor Wilkes telah dikenal sebagai perancang dan pembangun [[EDSAC]],
|-
|[[1968]]
|[[Richard Hamming]]
|''
|-
|[[1969]]
|[[Marvin Minsky]]
|''[[
|-
|[[1970]]
|[[James H. Wilkinson]]
|''
|-
|[[1971]]
Baris 38 ⟶ 50:
|[[1972]]
|[[Edsger Dijkstra]]
|''Edsger Dijkstra adalah penyumbang utama di akhir 1950 dalam pengembangan [[ALGOL]], bahasa pemrograman tingkat tinggi yang telah menjadi model ''clarity and mathematical rigor''. Ia telah menjadi bagian utama pengembangan ilmu dan seni bahasa pemrograman secara umum, dan telah memberikan kontribusi luar biasa atas pemahaman struktur, representasi, dan pengimplementasian. Lima belas tahun dari bagian publikasinya berawal dari artikel
|-
|[[1973]]
|[[Charles Bachman|Charles W. Bachman]]
|''Atas kontribusinya yang besar terhadap teknologi [[gudang data]]''
|-
|[[1974]]
Baris 49 ⟶ 61:
|-
|[[1975]]
|[[Allen Newell]]
|''In joint scientific efforts extending over twenty years, initially in collaboration with J. C. Shaw at the [[RAND|RAND Corporation]], and subsequentially with numerous faculty and student colleagues at [[Carnegie Mellon University]], they have made basic contributions to [[artificial intelligence]], the psychology of human cognition, and list processing''
|-
|[[1976]]
|[[Michael O. Rabin]]
|''For their joint paper "Finite Automata and Their Decision Problem," which introduced the idea of [[nondeterministic machine]]s, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field''
|-
Baris 74 ⟶ 86:
|[[1981]]
|[[Edgar F. Codd]]
|''Atas kontribusi yang mendasar dan berkelanjutan kepada teori dan
|-
|[[1982]]
Baris 81 ⟶ 93:
|-
|[[1983]]
|[[Ken Thompson]]
|''Atas pengembangan yang mereka lakukan terhadap teori sistem operasi generik dan khususnya bagi penerapan sistem operasi [[Unix|UNIX]]''
|-
|[[1984]]
|[[Niklaus Wirth]]
|''
|-
|[[1985]]
|[[Richard M. Karp]]
|''For his continuing contributions to the theory of algorithms including the development of efficient algorithms for network flow and other combinatorial optimization problems, the identification of polynomial-time computability with the intuitive notion of algorithmic efficiency, and, most notably, contributions to the theory of [[NP-complete
|-
|[[1986]]
|[[John Hopcroft]]
|''Atas keberhasilan yang fundamental dalam perancangan dan analisis algoritme dan struktur data''
|-
|[[1987]]
Baris 102 ⟶ 114:
|[[1988]]
|[[Ivan Sutherland]]
|''
|-
|[[1989]]
Baris 121 ⟶ 133:
|-
|[[1993]]
|[[Juris Hartmanis]]
|''Sebagai penghargaan atas makalah yang sangat berpengaruh yang menjadi dasar di bidang [[teori kompleksitas komputasi]].''
|-
|[[1994]]
|[[Edward Feigenbaum]]
|''Atas perintisan perancangan dan pembangunan sistem kecerdasan buatan skala besar, dan mendemonstrasikan manfaat praktis serta potensi komersial dari teknologi kecerdasan buatan.''
|-
Baris 153 ⟶ 165:
|-
|[[2001]]
|[[Ole-Johan Dahl]]
|''Atas gagasan-gagasan yang menjadi dasar munculnya [[pemrograman berorientasi
|-
|[[2002]]
| [[Ron Rivest|
|''Atas kontribusinya dalam mengembangkan [[kriptografi public-key]] sehingga bermanfaat dalam
|-
|[[2003]]
|[[Alan Kay]]
|''Atas kontribusinya dalam menyumbangkan banyak gagasan yang menjadi dasar bahasa [[pemrograman berorientasi
|-
|[[2004]]
Baris 170 ⟶ 182:
|[[2005]]
|[[Peter Naur]]
|''Atas kontribusi yang mendasar pada perancangan [[bahasa pemrograman]] dan [[Algol 60]], pada perancangan [[kompilator]], dan pada seni dan
|-
|[[2006]]
|[[Frances Allen]]
|''Dia menciptakan teknik untuk mengoptimalkan performa ''compiler'', program yang menerjemahkan bahasa komputer. Allen bekerja di IBM sejak 1957, setelah menyelesaikan pendidikan master bidang Matematika di Universitas Michigan. Selama di IBM, Allen sempat ditugasi membuat software analisis kecerdasan, untuk National Security Agency. Dia juga membantu merancang perangkat lunak untuk superkomputer IBM Blue Gene.''
|-
|[[2007]]
|[[Edmund M. Clarke]], [[E. Allen Emerson]] dan [[Joseph Sifakis]]
|
|-
|[[2008]]
|[[Barbara Liskov]]
|
|-
|[[2009]]
|[[Charles P. Thacker]]
|
|-
|[[2010]]
|[[Leslie Valiant]]
|
|-
|[[2011]]
|[[Judea Pearl]]
|
|-
|[[2012]]
|[[Shafi Goldwasser]] dan [[Silvio Micali]]
|
|-
|[[2013]]
|[[Leslie Lamport]]
|
|-
|[[2014]]
|[[Michael Stonebraker]]
|
|}
== Pranala luar ==
* {{en}} [http://www.acm.org/awards/taward.html A.M. Turing Award website]
[[Kategori:Penerima Turing Award|*]]▼
[[Kategori:Penghargaan dalam bidang komputer]]
[[Kategori:Artikel yang perlu diperbaiki bertopik teknologi informasi]]
| |||