„John Cocke“ – Versionsunterschied
[gesichtete Version] | [gesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
K Bot: Normdatenvorlage nach Vorlage:Normdaten korrigiert |
BKL Wortproblem ersetzt |
||
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
|