WikiDer > Kenneth Eugene Iverson

Kenneth E. Iverson, 1989

Kenneth Eugene Iverson (Kamrose, 17. Dezember1920 – Toronto, 19. Oktober2004) war ein kanadischInformatiker.

Iverson spezialisiert auf formale Sprachtheorie und recherchierte viel über die Verwendung von Mathematiker Notationen in Programmiersprachen und Methoden. 1979 erhielt er den Turing-Preis vor dem seine Beiträge zur mathematischen Notation und Theorie von Programmiersprachen.

Darüber hinaus wurde er 1983 mit der Gründung des Iverson-Preis für Beiträge zur Programmiersprache APL.

Iverson hat studiert Mathematik und Physik zum Queen's University in Kingston, Kanada. 1951 erhielt er seinen he Bachelor-Abschluss. Er hat weiter studiert Harvard, wohin er auch 1951 ging Meister in Mathematik und promovierte 1954 in angewandter Mathematik.

Er wurde in Harvard als Postdoc und Professor. In dieser Funktion entwickelte er eine mathematische Notation für die Arbeit mit Arrays, die er auch seinen Schülern beibrachte. 1962 wechselte er zu IBM, wo er zusammen mit Adin Falkoff arbeitete an der Entwicklung von APL - Grundlage dafür war die von Iverson entwickelte Notation. 1970 wurde er zum IBM Fellow.

In späteren Jahren entwickelte er die Programmiersprache J.

Berühmte Bücher

• Eine Programmiersprache (1962)
• Automatische Datenverarbeitung (zusammen mit Frederick Brooks, 1963)
• Elementare Funktionen: Eine algorithmische Behandlung (Science Research Associates, Inc., 1966)
• Ein Quellenbuch in APL (zusammen mit Adin D. Falkoff, APL-Presse, 1981)
• Greifbare Mathematik (Iverson Software Inc., 1990)
• Das ISI-Wörterbuch von J (Iverson Software Inc., 1991)