Uit Wikipedia, de vrije encyclopedie
John Cocke
(
Charlotte
,
North Carolina
,
30 mei
1925
-
Valhalla
,
New York
,
16 juli
2002
) was een
Amerikaans
informaticus
. Hij is met name bekend door zijn bijdragen aan de
RISC-architectuur
voor
processors
. Hij wordt ook de "vader van de RISC-architectuur" genoemd. Cocke heeft tevens bijdragen geleverd op het gebied van
compileroptimalisatie
en
computerarchitectuur
. Voor zijn werk ontving hij in 1987 de
Turing Award
.
In 1946 ontving Cocke een
bachelortitel
in werktuigbouwkunde aan de
Duke-universiteit
en een
Ph.D.
in wiskunde in 1956.
[1]
In 1956 ging hij werken bij
IBM Research
waar hij zijn gehele carriere heeft doorgebracht. Cocke is met name bekend door de
IBM 801
dat in 1975 begon als onderzoeksproject in het
Thomas J. Watson Research Center
.
In 1972 werd Cocke benoemd tot
IBM Fellow
. In 1976 ontving hij samen met
Frances E. Allen
de
ACM Programming Systems and Languages Paper Award
. In 1987 ontving Cocke de
Turing Award
voor zijn werk:
For significant contributions in the design and theory of compilers, the architecture of large systems and the development of reduced instruction set computers (RISC); for discovering and systematizing many fundamental transformations now used in optimizing compilers including reduction of operator strength, elimination of common subexpressions, register allocation, constant propagation, and dead code elimination.
? Association for Computing Machinery
[2]
Cocke ontving ook de
National Medal of Technology
(1991),
National Medal of Science
(1994) en de
IEEE John von Neumann Medal
(1994). Cocke ging in 1992 met pensioen.
Cocke is een van de bedenkers van het
CYK-algoritme
(John Cocke,
Daniel H. Younger
en
Tadao Kasami
). Een ander algoritme dat zijn naam draagt is het
BCJR-algoritme
(
Lalit. R. Bahl
, John Cocke,
Frederick Jelinek
en
Josef Raviv
).
1966:
Alan J. Perlis
·
1967:
Maurice V. Wilkes
·
1968:
Richard Hamming
·
1969:
Marvin Minsky
·
1970:
J.H. Wilkinson
·
1971:
John McCarthy
·
1972:
Edsger Dijkstra
·
1973:
Charles W. Bachman
·
1974:
Donald E. Knuth
·
1975:
Allen Newell
,
Herbert Simon
·
1976:
Michael Rabin
,
Dana S. Scott
·
1977:
John Backus
·
1978:
Robert W. Floyd
·
1979:
Kenneth E. Iverson
·
1980:
Tony Hoare
·
1981:
Edgar F. (Ted) Codd
·
1982:
Stephen A. Cook
·
1983:
Ken Thompson
,
Dennis M. Ritchie
·
1984:
Niklaus Wirth
·
1985:
Richard M. Karp
·
1986:
John Hopcroft
,
Robert Tarjan
·
1987:
John Cocke
·
1988:
Ivan Sutherland
·
1989:
William Kahan
·
1990:
Fernando J. Corbato
·
1991:
Robin Milner
·
1992:
Butler Lampson
·
1993:
Juris Hartmanis
,
Richard E. Stearns
·
1994:
Edward Feigenbaum
,
Raj Reddy
·
1995:
Manuel Blum
·
1996:
Amir Pnueli
·
1997:
Douglas Engelbart
·
1998:
Jim Gray
·
1999:
Frederick P. Brooks, Jr.
·
2000:
Andrew Chi-Chih Yao
·
2001:
Ole-Johan Dahl
,
Kristen Nygaard
·
2002:
Ron Rivest
,
Adi Shamir
,
Leonard M. Adleman
·
2003:
Alan Kay
·
2004:
Vinton G. Cerf
,
Robert E. Kahn
·
2005:
Peter Naur
·
2006:
Frances E. Allen
·
2007:
Edmund M. Clarke
,
E. Allen Emerson
,
Joseph Sifakis
·
2008:
Barbara Liskov
·
2009:
Charles Thacker
·
2010:
Leslie Valiant
·
2011:
Judea Pearl
·
2012:
Shafi Goldwasser
,
Silvio Micali
·
2013:
Leslie Lamport
·
2014:
Michael Stonebraker
·
2015:
Martin Hellman
,
Whitfield Diffie
·
2016:
Tim Berners-Lee
·
2017:
John L. Hennessy
,
David Patterson
·
2018:
Yoshua Bengio
,
Geoffrey Hinton
,
Yann LeCun
·
2019:
Patrick M. Hanrahan
,
Edwin E. Catmull
·
2020:
Alfred Aho
,
Jeffrey Ullman
·
2021:
Jack Dongarra
·
2022:
Robert Metcalfe
·
2023:
Avi Wigderson
Bronnen, noten en/of referenties
|