John Cocke

John Cocke
Plaats uw zelfgemaakte foto hier
Persoonlijke gegevens
Geboortedatum 30 mei 1925
Geboorteplaats Charlotte, North Carolina
Overlijdensdatum 16 juli 2002
Overlijdensplaats Valhalla, New York
Wetenschappelijk werk
Vakgebied Informatica
Bekend van RISC-architectuur
Alma mater Duke UniversityBewerken op Wikidata
Portaal  Portaalicoon   Informatica

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.

Biografie

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 carrière 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).

Externe links

  • (en) IBM Fellow John Cocke passed away on July 16th
  • (en) Biografie van John Cocke
· · Sjabloon bewerken
Winnaars van de Turing Award

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. Corbató · 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
  1. (en) 2002 Fellow Awards Recipient, Computer History Museum. Gearchiveerd op 9 april 2023.
  2. (en) ACM Award Citation - John Cocke