| Biografia | |
|---|---|
| Naixement | 30 maig 1925 Charlotte (Carolina del Nord) |
| Mort | 16 juliol 2002 (77 anys) Valhalla (Nova York) |
| Nacionalitat | Estatunidenc |
| Formació | Duke University |
| Es coneix per | RISC Algorisme CYK |
| Activitat | |
| Camp de treball | Ciència computacional |
| Ocupació | Informàtica |
| Organització | IBM |
| Membre de | |
| Premis | |
Premi Turing1987 Computer Pioneer Award(1989) Medalla Nacional de Tecnologia(1991) Medalla Nacional de Ciència(1994) Medalla John von Neumann de l'IEEE(1994) Computer History Museum Fellow(2002) | |
John Cocke (30 de maig de 1925 – 16 de juliol de 2002) fou uninformàtic nord-americà, reconegut per la seva gran contribució a l'arquitectura d'ordinadors i el disseny decompiladors optimitzadors. Molts el consideren "el pare de l'arquitecturaRISC".[1]
Va assistir a laUniversitat Duke, on es vallicenciar en Enginyeria Mecànica el 1946 i es vadoctorar el 1956. Cocke va passar tota la seva carrera professional fent recerca industrial aIBM, entre 1956 i 1992.
Potser el projecte on van destacar més les seves innovacions fou el miniordinador IBM 801, on va adonar-se que adaptar el disseny del joc d'instruccions de l'arquitectura a les instruccions relativament simples que generaven els compiladors podia permetre un alt rendiment a un cost baix.
És un dels inventors de l'algorisme CYK (la C és pel seu cognom). També va col·laborar en els primers treballs sobrereconeixement de veu itraducció automàtica que es van fer a IBM elsanys 1970 i1980. La idea d'utilitzar un model de llenguatge amb trigrames per al reconeixement de veu va ser seva.[2]
Cocke va ser nomenatIBM Fellow el 1972. Va guanyar el Premi Eckert-Mauchly el 1985, elpremi Turing de l'ACM el 1987,[3] la Medalla Nacional de Tecnologia el 1991 i la Medalla Nacional de Ciència el 1994,[4][5] el Certificat de Mèrit de l'Institut Franklin el 1996, el premi Seymour Cray d'Informàtica i Enginyeria el 1999, i la Medalla Benjamin Franklin el 2000.
El 2002, va ser nomenatFellow del Computer History Museum "pel seu desenvolupament i implementació de l'arquitectura informàtica amb joc d'instruccions reduïdes i la tecnologia d'optimització de programes".[6]
Guardonats amb elPremi Turing | |
|---|---|
Perlis (1966) •Wilkes (1967) •Hamming (1968) •Minsky (1969) •Wilkinson (1970) •McCarthy (1971) •Dijkstra (1972) •Bachman (1973) •Knuth (1974) •Newell /Simon (1975) •Rabin /Scott (1976) •Backus (1977) •Floyd (1978) •Iverson (1979) •Hoare (1980) •Codd (1981) •Cook (1982) •Thompson /Ritchie (1983) •Wirth (1984) •Karp (1985) •Hopcroft /Tarjan (1986) •Cocke (1987) •Sutherland (1988) •Kahan (1989) •Corbató (1990) •Milner (1991) •Lampson (1992) •Hartmanis /Stearns (1993) •Feigenbaum /Reddy (1994) •Blum (1995) •Pnueli (1996) •Engelbart (1997) •Gray (1998) •Brooks (1999) •Yao (2000) •Dahl /Nygaard (2001) •Rivest /Shamir /Adleman (2002) •Kay (2003) •Cerf /Kahn (2004) •Naur (2005) •Allen (2006) •Clarke /Emerson /Sifakis (2007) •Liskov (2008) •Thacker (2009) •Valiant (2010) •Pearl (2011) •Micali /Goldwasser (2012) •Lamport (2013) •Stonebraker (2014) •Hellman /Diffie (2015) •Berners-Lee (2016) •Hennessy /Patterson (2017) •Bengio /Hinton /LeCun (2018) •Hanrahan /Catmull (2019) •Aho /Ullman (2020) •Dongarra (2021) •Metcalfe (2022) •Wigderson (2023) |
