Kenneth E. Iverson

aus Wikipedia, der freien Enzyklopädie

Kenneth E. Iverson (* 17. Dezember 1920 in Camrose, Alberta, Kanada; † 19. Oktober 2004 in Toronto, Ontario, Kanada) war ein kanadischer Mathematiker, der die Programmiersprachen APL und J entwickelt hat.

[Bearbeiten] Leben

Iverson wurde 1954 an der Harvard-Universität in Cambridge, Massachusetts, in Mathematik promoviert. Von 1955 bis 1960 lehrte er an der Harvard-Universität als Assistant Professor Angewandte Mathematik.

Danach wechselte er in die Forschungsabteilung der Firma IBM, wo er bis 1980 wirkte. Ab 1980 war er für die Firma I. P. Sharp Associates in Toronto tätig, bevor er 1987 in den "Ruhestand" ging, den er weiter intensiv forschend und entwickelnd verbrachte.

[Bearbeiten] Leistungen

Während seiner Tätigkeit an der Harvard-Universität hatte Kenneth E. Iverson eine eigene Notation für den Umgang mit Arrays entwickelt, die er erfolgreich in der Lehre einsetzte. Die Kompaktheit dieser Notation fand das Interesse der Firma IBM, die ihm vorschlug, seine Ideen zu einer formalen Sprache auszubauen. Das Ergebnis hat er 1962 in dem Buch A Programming Language veröffentlicht, das im Verlag John Wiley in New York erschienen ist. Die von ihm entwickelte Sprache, nach dem Buchtitel APL genannt, wurde zunächst zur formalen Beschreibung der Computerfamilie IBM System/360 eingesetzt, die ab 1964 wesentlich zum großen Erfolg von IBM beigetragen hat. 1965 wurde der erste APL-Interpreter für die Stapelverarbeitung fertig, wodurch APL zu einer ausführbaren Programmiersprache wurde. Bereits 1966 folgte das interaktive System APL\360, das zum Ausgangspunkt aller weiteren APL-Interpreter wurde. Kenneth E. Iverson war maßgeblich an der Entwicklung dieser Systeme beteiligt. Später hat er mehrere Programmiersprachen entworfen, die Weiterentwicklungen und Verbesserungen von APL darstellen, darunter ab 1990 gemeinsam mit Roger Hui die Sprache J.

Auch von ihm sind die floor- und ceiling-Klammer, d.h. die Notation für die floor- und die ceiling-Funktion. Außerdem die in der theoretischen Informatik häufig verwandte Abbildung eines Prädikates auf einen einstelligen binären Zahlenwert, um für komplexere Probleme geschlossene Formeln zu erhalten (siehe Prädikatabbildung).

[Bearbeiten] Ehrungen

Für die Entwicklung von APL sowie für seine Beiträge zur Implementierung interaktiver Systeme wurde Kenneth E. Iverson 1979 mit dem Turing-Preis der ACM ausgezeichnet. 1982 hat er den Pioneer Award des IEEE erhalten, 1991 die National Medal of Technology der USA. Er war Mitglied der National Academy of Engineering der USA.

Personendaten
NAME	Iverson, Kenneth E.
KURZBESCHREIBUNG	Mathematiker
GEBURTSDATUM	17. Dezember 1920
GEBURTSORT	Camrose, Alberta, Kanada
STERBEDATUM	19. Oktober 2004
STERBEORT	Toronto, Ontario, Kanada