John Cocke

Wygląd przypnij ukryj

John Cocke (ur. 30 maja 1925 - zm. 16 lipca 2002) – amerykański naukowiec znany ze swojego wkładu w teorię architektur komputerowych oraz teorię optymalizacji kompilatorów. Jest uważany przez wielu za ojca architektury RISC. W 1987 otrzymał Nagrodę Turinga.

Laureaci Nagrody Turinga

XX wiek

1966: Alan Perlis 1967: Maurice V. Wilkes 1968: Richard Hamming 1969: Marvin Minsky 1970: James H. Wilkinson 1971: John McCarthy 1972: Edsger Dijkstra 1973: Charles W. Bachman 1974: Donald E. Knuth 1975: Allen Newell, Herbert Simon 1976: Michael O. Rabin, Dana S. Scott 1977: John Backus 1978: Robert W. Floyd 1979: Kenneth E. Iverson 1980: C.A.R. Hoare 1981: Edgar F. Codd 1982: Stephen A. Cook 1983: Ken Thompson, Dennis 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 W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994: Edward Feigenbaum, Raj Reddy 1995: Manuel Blum 1996: Amir Pnueli 1997: Douglas Engelbart 1998: James Gray 1999: Frederick P. Brooks Jr. 2000: Andrew Chi-Chih Yao

XXI wiek

2001: Ole-Johan Dahl, Kristen Nygaard 2002: Ron Rivest, Adi Szamir, Leonard Adleman 2003: Alan Kay 2004: Vinton G. Cerf, Robert E. Kahn 2005: Peter Naur 2006: Frances E. Allen 2007: Edmund Clarke, Allen Emerson, Joseph Sifakis 2008: Barbara Liskov 2009: Charles P. Thacker 2010: Leslie Valiant 2011: Judea Pearl 2012: Silvio Micali, Shafrira Goldwasser 2013: Leslie Lamport 2014: Michael Stonebraker 2015: Whitfield Diffie, Martin Hellman 2016: Tim Berners-Lee 2017: John L. Hennessy, David Patterson 2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCun 2019: Ed Catmull, Pat Hanrahan 2020: Alfred V. Aho, Jeffrey Ullman 2021: Jack Dongarra 2022: Robert Metcalfe 2023: Avi Wigderson

Laureaci National Medal of Science (lata 90. XX w.)

1990	Baruj Benacerraf Elkan R. Blout Herbert W. Boyer George F. Carrier Allan McLeod Cormack Mildred Dresselhaus Karl A. Folkers Nick Holonyak Leonid Hurwicz Stephen Cole Kleene Daniel E. Koshland Edward B. Lewis John McCarthy Edwin Mattison McMillan David G. Nathan Robert Pound Roger Revelle John D. Roberts Patrick Suppes Edward Donnall Thomas
1991	Mary Ellen Avery Ronald Breslow Alberto Calderón Gertrude Belle Elion George H. Heilmeier Dudley R. Herschbach George Evelyn Hutchinson Elvin A. Kabat Robert W. Kates Luna Bergere Leopold Salvador Edward Luria Paul A. Marks George A. Miller Arthur L. Schawlow Glenn Theodore Seaborg Folke K. Skoog Guyford Stever Edward C. Stone Steven Weinberg Paul Charles Zamecnik
1992	Eleanor J. Gibson Allen Newell Calvin Quate Eugene Shoemaker Howard E. Simmons Maxine F. Singer Howard M. Temin John Roy Whinnery
1993	Alfred Y. Cho Donald J. Cram Val Fitch Salome Gluecksohn-Waelsch Norman Hackerman Martin Kruskal Daniel Nathans Vera Rubin
1994	Ray W. Clough John Cocke Thomas Eisner George S. Hammond Robert King Merton Elizabeth F. Neufeld Albert Overhauser Frank Press
1995	Thomas R. Cech Hans Georg Dehmelt Peter Goldreich Hermann A. Haus Isabella Lugoski-Karle Louis Nirenberg Alexander Rich Roger Shepard
1996	Wallace S. Broecker Norman Davidson James L. Flanagan Richard M. Karp C. Kumar N. Patel Ruth Patrick Paul A. Samuelson Stephen Smale
1997	William K. Estes Darleane C. Hoffman Harold S. Johnston Marshall Rosenbluth Martin Schwarzschild James Watson Robert Allan Weinberg George Wetherill Shing-Tung Yau
1998	Bruce Ames Don L. Anderson John N. Bahcall John W. Cahn Cathleen Synge Morawetz Janet Rowley Eli Ruckenstein George Whitesides William Julius Wilson
1999	David Baltimore Felix Browder Ronald Coifman James Cronin Jared Diamond Leo Kadanoff Lynn Margulis Stuart A. Rice John Ross Susan Solomon Robert M. Solow Kenneth N. Stevens

Laureaci Medalu Johna von Neumanna

XX wiek

1992: C. Gordon Bell 1993: Fred Brooks 1994: John Cocke 1995: Donald Knuth 1996: Carver Mead 1997: Maurice Wilkes 1998: Ivan Sutherland 1999: Douglas Engelbart 2000: John L. Hennessy i David A. Patterson

XXI wiek

2001: Butler Lampson 2002: Ole-Johan Dahl i Kristen Nygaard 2003: Alfred V. Aho 2004: Barbara Liskov 2005: Michael Stonebraker 2006: Edwin Catmull 2007: Charles P. Thacker 2008: Leslie Lamport 2009: Susan L. Graham 2010: John Hopcroft i Jeffrey Ullman 2011: C.A.R. Hoare 2012: Edward J. McCluskey 2013: Jack Dennis 2014: Cleve Moler 2015: James A. Gosling 2016: Christos Papadimitriou 2017: Vladimir Vapnik 2018: Patrick Cousot 2019: Éva Tardos 2020: Michael I. Jordan 2021: Jeff Dean 2022: Deborah Estrin 2023: Tom Leighton

Kontrola autorytatywna (osoba):

• ISNI: 0000000359677393
• VIAF: 220167942
• SUDOC: 082028273
• WorldCat: viaf-220167942

Encyklopedie internetowe:

• Britannica: biography/John-Cocke

Identyfikatory zewnętrzne:

• Scopus: 7003741340