„John Cocke“ – Versionsunterschied
[gesichtete Version] | [gesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
K Bot: Kategorie:Turing-Preisträger umbenannt in Kategorie:Träger des Turing Award: laut Diskussion |
|||
(7 dazwischenliegende Versionen von 5 Benutzern werden nicht angezeigt) | |||
Zeile 4:
John Cocke studierte an der [[Duke University]], wo er 1946 seinen [[Bachelor]] in Maschinenbau und 1956 seinen [[Ph.D.]] in Mathematik machte. Cocke verbrachte seine gesamte Karriere von 1956 bis 1992 als Forscher bei [[IBM]]. Daneben war er Gastprofessor am [[Massachusetts Institute of Technology|MIT]] und am [[Courant Institute of Mathematical Sciences of New York University]].
1970 entwickelte er unabhängig von Daniel Younger, Tadao Kasami und anderen den [[Cocke-Younger-Kasami-Algorithmus]] zur Lösung des [[Wortproblem (Berechenbarkeitstheorie)|Wortproblems]]
1972 wurde er [[IBM Fellow]], 1979 Mitglied der [[National Academy of Engineering]]. 1985 wurde ihm der [[Eckert-Mauchly Award]] verliehen, 1986 wurde er Fellow der [[American Academy of Arts and Sciences]]. 1987 bekam er den [[Turing Award]], 1988 einen Ehrendoktortitel der Duke University, 1991 die [[National Medal of Technology]]. 1993 wurde er gewähltes Mitglied der [[National Academy of Sciences]] und 1995 der [[American Philosophical Society]],<ref>{{Internetquelle| url=https://search.amphilsoc.org/memhist/search?creator=John+Cocke&title=&subject=&subdiv=&mem=&year=&year-max=&dead=&keyword=&smode=advanced| titel=Member History: John Cocke
| hrsg=American Philosophical Society| zugriff=2018-06-23}}</ref> 1994 erhielt er die [[National Medal of Science]] und die [[John-von-Neumann-Medaille]], 1999 den [[Seymour Cray Computer Engineering Award]] und 2000 die [[Benjamin Franklin Medal (Franklin Institute)|Benjamin Franklin Medal]]. == Weblinks ==
Zeile 15 ⟶ 16:
http://www.thocp.net/biographies/cocke_john.htm
http://www.iment.com/maida/tv/computer/johncocketranscript.htm-->
== Einzelnachweise ==
<references />
{{Navigationsleiste Träger des Turing-Awards}}
{{Normdaten|TYP=p|GND=|VIAF=220167942|GNDfehlt=ja|GNDCheck=2019-03-17}}
{{DEFAULTSORT:Cocke, John}}
[[Kategorie:Träger des Turing
[[Kategorie:Informatiker]]
[[Kategorie:Mitglied der National Academy of Sciences
[[Kategorie:Mitglied der American Academy of Arts and Sciences]]▼
[[Kategorie:Mitglied der National Academy of Engineering]]
[[Kategorie:Mitglied der American Philosophical Society]]
[[Kategorie:Träger der National Medal of Science]]
[[Kategorie:Hochschullehrer (
[[Kategorie:Hochschullehrer (New York University)]]
[[Kategorie:US-Amerikaner]]
Zeile 30 ⟶ 38:
[[Kategorie:Gestorben 2002]]
[[Kategorie:Mann]]
▲[[Kategorie:Mitglied der American Academy of Arts and Sciences]]
{{Personendaten
|