Tahun
|
Nama
|
Keterangan
|
1966
|
Alan J. Perlis
|
Atas pengaruhnya yang besar dalam teknik
programming
instruksi
compiler
yang lebih maju
|
1967
|
Maurice V. Wilkes
|
Professor Wilkes telah dikenal sebagai perancang dan pembangun
EDSAC
, komputer pertama yang
programnya
telah terintegrasi. Dibuat pada 1949, EDSAC menggunakan
mercury delay line memory
. Dia juga dikenal sebagai penulis, bersama Wheeler and Gill, dalam beberapa seri "
Preparation of Programs for Electronic Digital Computers
" pada 1951, di mana
program libraries
diperkenalkan dengan lebih efektif
|
1968
|
Richard Hamming
|
Atas sumbangannya dalam
metode numerik
, sistem pengkodean otomatis, dan kode-kode pendeteksi serta pengoreksi kesalahan/masalah
|
1969
|
Marvin Minsky
|
Kecerdasan buatan
|
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
|
Tulisan Dr. McCarthy: "The Present State of Research on
Artificial Intelligence
" adalah topik yang membuatnya dihargai atas karyanya"
|
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 teoretis atas teori grafis menjadi manual dasar,
expository texts
, dan penyelesaian filosofis dalam bahasa pemrograman
|
1973
|
Charles W. Bachman
|
Atas kontribusinya yang besar terhadap teknologi
gudang data
|
1974
|
Donald E. Knuth
|
For his major contributions to the analysis of algorithms and the design of programming languages, and in particular for his contributions to "
The Art of Computer Programming
" through his well-known books in a continuous series by this title
|
1975
|
Allen Newell
dan
Herbert A. Simon
|
In joint scientific efforts extending over twenty years, initially in collaboration with J. C. Shaw at the
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
dan
Dana S. Scott
|
For their joint paper "Finite Automata and Their Decision Problem," which introduced the idea of
nondeterministic machines
, 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
|
1977
|
John Backus
|
For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on
FORTRAN
, and for seminal publication of formal procedures for the specification of
programming languages
|
1978
|
Robert W. Floyd
|
For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of
computer science
: the theory of
parsing
, the
semantics
of programming languages, automatic
program verification
,
automatic program synthesis
, and
analysis of algorithms
|
1979
|
Kenneth E. Iverson
|
For his pioneering effort in programming languages and mathematical notation resulting in what the computing field now knows as APL, for his contributions to the implementation of interactive systems, to educational uses of APL, and to programming language theory and practice
|
1980
|
C. Antony R. Hoare
|
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
|
Stephen A. Cook
|
For his advancement of our understanding of the complexity of computation in a significant and profound way
|
1983
|
Ken Thompson
dan
Dennis M. Ritchie
|
Atas pengembangan yang mereka lakukan terhadap teori sistem operasi generik dan khususnya bagi penerapan sistem operasi
UNIX
|
1984
|
Niklaus Wirth
|
Atas pengembangan sejumlah bahasa komputer yang inovatif,
EULER
,
ALGOL-W
,
MODULA
dan
PASCAL
|
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-completeness
|
1986
|
John Hopcroft
dan
Robert Tarjan
|
Atas keberhasilan yang fundamental dalam perancangan dan analisis algoritme dan struktur data
|
1987
|
John Cocke
|
For significant contributions in the design and theory of compilers, the architecture of large systems and the development of reduced instruction set computers (
RISC
)
|
1988
|
Ivan Sutherland
|
Atas sumbangsihnya yang merintis dan visioner terhadap
pencitraan komputer
, dimulai dengan Sketchpad, dan berlanjut setelahnya
|
1989
|
William (Velvel) Kahan
|
For his fundamental contributions to
numerical analysis
. One of the foremost experts on
floating-point
computations. Kahan has dedicated himself to "making the world safe for numerical computations."
|
1990
|
Fernando J. Corbato
|
For his pioneering work organizing the concepts and leading the development of the general-purpose, large-scale,
time-sharing
and resource-sharing computer systems,
CTSS
and
Multics
.
|
1991
|
Robin Milner
|
For three distinct and complete achievements: 1)
LCF
, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for
machine assisted proof construction
; 2)
ML
, the first language to include polymorphic
type inference
together with a
type-safe
exception-handling
mechanism; 3)
CCS
, a general theory of
concurrency
. In addition, he formulated and strongly advanced
full abstraction
, the study of the relationship between
operational
and
denotational
semantics
.
|
1992
|
Butler W. Lampson
|
For contributions to the development of distributed, personal computing environments and the technology for their implementation:
workstations
,
networks
,
operating systems
, programming systems,
displays
,
security
and
document publishing
.
|
1993
|
Juris Hartmanis
dan
Richard E. Stearns
|
Sebagai penghargaan atas makalah yang sangat berpengaruh yang menjadi dasar di bidang
teori kompleksitas komputasi
.
|
1994
|
Edward Feigenbaum
dan
Raj Reddy
|
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
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 Gray
|
Atas kontribusi yang sangat bernilai terhadap penelitian di bidang
basis data
dan
pemrosesan transaksi
serta kepemimpinan teknis dalam implementasi sistem.
|
1999
|
Frederick P. Brooks, Jr.
|
Atas kontribusi yang sangat bernilai terhadap
arsitektur komputer
,
sistem operasi
, dan
rekayasa perangkat lunak
.
|
2000
|
Andrew Chi-Chih Yao
|
Sebagai penghargaan atas kontribusinya yang fundamental terhadap
teori komputasi
, termasuk teori yang berbasis kompleksitas tentang
pembangkitan bilangan protoacak
,
kriptografi
dan
kompleksitas komunikasi
.
|
2001
|
Ole-Johan Dahl
dan
Kristen Nygaard
|
Atas gagasan-gagasan yang menjadi dasar munculnya
pemrograman berorientasi objek
, melalui rancangan mereka dalam pengembangan bahasa pemrograman
Simula I
dan
Simula 67
.
|
2002
|
Ronald L. Rivest
,
Adi Shamir
dan
Leonard M. Adleman
|
Atas kontribusinya dalam mengembangkan
kriptografi public-key
sehingga bermanfaat dalam praktik.
|
2003
|
Alan Kay
|
Atas kontribusinya dalam menyumbangkan banyak gagasan yang menjadi dasar bahasa
pemrograman berorientasi objek
, memimpin tim yang mengembangkan
Smalltalk
, dan atas kontribusi yang mendasar dalam komputasi personal.
|
2004
|
Vinton G. Cerf
dan
Robert E. Kahn
|
Atas karya pionir di bidang
internetworking
, termasuk juga atas perancangan dan implementasi protokol komunikasi dasar
Internet
, yaitu
TCP/IP
, dan juga atas kepemimpinan yang penuh inspirasi di bidang jaringan komputer.
|
2005
|
Peter Naur
|
Atas kontribusi yang mendasar pada perancangan
bahasa pemrograman
dan
Algol 60
, pada perancangan
kompilator
, dan pada seni dan praktik pemrograman komputer.
|
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
|
|
2023
|
Orang Indonesia
|
|