Penghargaan Turing: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
kTidak ada ringkasan suntingan |
Tidak ada ringkasan suntingan Tag: Pengembalian manual |
||
| (53 revisi perantara oleh 36 pengguna tidak ditampilkan) | |||
Baris 1:
{{terjemah|Inggris}}
{{Infobox award
| 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}}) adalah sebuah [[penghargaan]] yang diberikan setiap tahun oleh [[Association for Computing Machinery]] kepada mereka yang terpilih karena kontribusinya yang bersifat teknik kepada dunia [[ilmu komputer]].
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.
== Penerima penghargaan ==
{| {{prettytable}}
|- style="background-color: #ccc"
!Tahun
!Nama
Baris 13 ⟶ 26:
|[[1966]]
|[[Alan Perlis|Alan J. Perlis]]
|''
|-
|[[1967]]
|[[Maurice V. Wilkes]]
|''Professor Wilkes
|-
|[[1968]]
|[[Richard Hamming]]
|''Atas sumbangannya dalam [[metode numerik]], sistem pengkodean otomatis, dan kode-kode pendeteksi serta pengoreksi kesalahan/masalah''
|-
|[[1969]]
|[[Marvin Minsky]]
|''[[
|-
|[[1970]]
|[[James H. Wilkinson]]
|''Atas penelitannya dalam [[analisis numerik]] untuk memfasilitasi penggunaan komputer digital berkecepatan tinggi, sudah dikenal dengan sumbangannya terhadap dunia komputer dalam [[aljabar linear]] dan analisis kesalahan secara "terbalik" ''
|-
|[[1971]]
|[[John McCarthy (computer scientist)|John McCarthy]]
|''Tulisan Dr. McCarthy
|-
|[[1972]]
|[[Edsger Dijkstra]]
|''Edsger Dijkstra
|-
|[[1973]]
|[[Charles Bachman|Charles W. Bachman]]
|''Atas kontribusinya yang besar terhadap teknologi [[gudang data]]''
|-
|[[1974]]
Baris 48 ⟶ 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 68 ⟶ 81:
|-
|[[1980]]
|[[C.
|''Atas kontribusi yang mendasar kepada definisi dan perancangan bahasa pemrograman''
|-
|[[1981]]
|[[Edgar F. Codd]]
|''Atas kontribusi yang mendasar dan berkelanjutan kepada teori dan praktik sistem manajemen basisdata'', khususnya [[basisdata relasional]]
|-
|[[1982]]
Baris 80 ⟶ 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 101 ⟶ 114:
|[[1988]]
|[[Ivan Sutherland]]
|''
|-
|[[1989]]
Baris 120 ⟶ 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.''
|-
|[[1995]]
|[[Manuel Blum]]
|''Sebagai penghargaan atas kontribusinya terhadap dasar-dasar [[teori kompleksitas komputasi]] dan aplikasinya ke dalam [[kriptografi]] dan [[verifikasi program]].''
|-
|[[1996]]
|[[Amir Pnueli]]
|''Atas karya yang sangat bernilai dalam mengenalkan [[logika temporal]] ke bidang ilmu komputer dan kontribusi yang sangat besar kepada [[verifikasi formal|verifikasi]] program dan sistem.''
|-
|[[1997]]
|[[Douglas Engelbart]]
|''Atas visi masa depan yang penuh inspirasi tentang komputasi interaktif dan atas penemuan teknologi kunci yang membantu realisasi visi tersebut.''
|-
|[[1998]]
|[[James
|''Atas kontribusi yang sangat bernilai terhadap penelitian di bidang [[basis data]] dan [[pemrosesan transaksi]] serta kepemimpinan teknis dalam implementasi sistem.''
|-
|[[1999]]
Baris 152 ⟶ 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 169 ⟶ 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 Penghargaan Turing| ]]
[[Kategori:Penghargaan dalam bidang komputer]]
[[Kategori:Artikel yang perlu diperbaiki bertopik teknologi informasi]]
| |||